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