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

ulfn 0f8b3cb164 avoid creating metas in isType_		13 lat temu
..
ac1	0f8b3cb164 avoid creating metas in isType_	13 lat temu
ac2	0f8b3cb164 avoid creating metas in isType_	13 lat temu
ac3	0f8b3cb164 avoid creating metas in isType_	13 lat temu
any	0f8b3cb164 avoid creating metas in isType_	13 lat temu
cat	0f8b3cb164 avoid creating metas in isType_	13 lat temu
cwf	0f8b3cb164 avoid creating metas in isType_	13 lat temu
data	0f8b3cb164 avoid creating metas in isType_	13 lat temu
functor	0f8b3cb164 avoid creating metas in isType_	13 lat temu
latemeta	0f8b3cb164 avoid creating metas in isType_	13 lat temu
monad	0f8b3cb164 avoid creating metas in isType_	13 lat temu
monadpostulate	0f8b3cb164 avoid creating metas in isType_	13 lat temu
nested	0f8b3cb164 avoid creating metas in isType_	13 lat temu
patternmatch	0f8b3cb164 avoid creating metas in isType_	13 lat temu
polyfunctor	0f8b3cb164 avoid creating metas in isType_	13 lat temu
prim	0f8b3cb164 avoid creating metas in isType_	13 lat temu
record	0f8b3cb164 avoid creating metas in isType_	13 lat temu
syntax1	0f8b3cb164 avoid creating metas in isType_	13 lat temu
syntax2	0f8b3cb164 avoid creating metas in isType_	13 lat temu