.. |
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 |