Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Fa: 9c190b6ebc
Branch-ok Tag-ek
agda
/
benchmark
/
logs
/
20110924-10.14-Ulfs-MacBook-Pro
ulfn 0f8b3cb164 avoid creating metas in isType_ 13 éve
..
ac1 0f8b3cb164 avoid creating metas in isType_ 13 éve
ac2 0f8b3cb164 avoid creating metas in isType_ 13 éve
ac3 0f8b3cb164 avoid creating metas in isType_ 13 éve
any 0f8b3cb164 avoid creating metas in isType_ 13 éve
cat 0f8b3cb164 avoid creating metas in isType_ 13 éve
cwf 0f8b3cb164 avoid creating metas in isType_ 13 éve
data 0f8b3cb164 avoid creating metas in isType_ 13 éve
functor 0f8b3cb164 avoid creating metas in isType_ 13 éve
latemeta 0f8b3cb164 avoid creating metas in isType_ 13 éve
monad 0f8b3cb164 avoid creating metas in isType_ 13 éve
monadpostulate 0f8b3cb164 avoid creating metas in isType_ 13 éve
nested 0f8b3cb164 avoid creating metas in isType_ 13 éve
patternmatch 0f8b3cb164 avoid creating metas in isType_ 13 éve
polyfunctor 0f8b3cb164 avoid creating metas in isType_ 13 éve
prim 0f8b3cb164 avoid creating metas in isType_ 13 éve
record 0f8b3cb164 avoid creating metas in isType_ 13 éve
syntax1 0f8b3cb164 avoid creating metas in isType_ 13 éve
syntax2 0f8b3cb164 avoid creating metas in isType_ 13 éve