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 年之前