Почетна Преглед Помоћ
Пријавите се
caryoscelus
/
agda
Прати 1
Волим 0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики
Дрво: 9c190b6ebc
Гране Ознаке
agda
/
benchmark
/
logs
/
20110924-10.14-Ulfs-MacBook-Pro
ulfn 0f8b3cb164 avoid creating metas in isType_ пре 13 година
..
ac1 0f8b3cb164 avoid creating metas in isType_ пре 13 година
ac2 0f8b3cb164 avoid creating metas in isType_ пре 13 година
ac3 0f8b3cb164 avoid creating metas in isType_ пре 13 година
any 0f8b3cb164 avoid creating metas in isType_ пре 13 година
cat 0f8b3cb164 avoid creating metas in isType_ пре 13 година
cwf 0f8b3cb164 avoid creating metas in isType_ пре 13 година
data 0f8b3cb164 avoid creating metas in isType_ пре 13 година
functor 0f8b3cb164 avoid creating metas in isType_ пре 13 година
latemeta 0f8b3cb164 avoid creating metas in isType_ пре 13 година
monad 0f8b3cb164 avoid creating metas in isType_ пре 13 година
monadpostulate 0f8b3cb164 avoid creating metas in isType_ пре 13 година
nested 0f8b3cb164 avoid creating metas in isType_ пре 13 година
patternmatch 0f8b3cb164 avoid creating metas in isType_ пре 13 година
polyfunctor 0f8b3cb164 avoid creating metas in isType_ пре 13 година
prim 0f8b3cb164 avoid creating metas in isType_ пре 13 година
record 0f8b3cb164 avoid creating metas in isType_ пре 13 година
syntax1 0f8b3cb164 avoid creating metas in isType_ пре 13 година
syntax2 0f8b3cb164 avoid creating metas in isType_ пре 13 година