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