.. |
ac1
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
ac2
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
ac3
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
cat
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
cwf
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
functor
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
latemeta
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
monad
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
monadpostulate
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
patternmatch
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
polyfunctor
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
prim
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
syntax1
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |
syntax2
|
154fcb700b
added Agda.Utils.VarSet
|
13 jaren geleden |