caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ 9c190b6ebc223c54da4defa075c673faae7fab56

ulfn 0f8b3cb164 avoid creating metas in isType_		13 سال پیش
..
ac1	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
ac2	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
ac3	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
any	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
cat	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
cwf	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
data	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
functor	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
latemeta	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
monad	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
monadpostulate	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
nested	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
patternmatch	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
polyfunctor	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
prim	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
record	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
syntax1	0f8b3cb164 avoid creating metas in isType_	13 سال پیش
syntax2	0f8b3cb164 avoid creating metas in isType_	13 سال پیش