| .. |
|
ac1
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
ac2
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
ac3
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
cat
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
cwf
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
functor
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
latemeta
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
monad
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
monadpostulate
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
patternmatch
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
polyfunctor
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
prim
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
syntax1
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
|
syntax2
|
154fcb700b
added Agda.Utils.VarSet
|
13 роки тому |
ulfn
154fcb700b
added Agda.Utils.VarSet