Начало Каталог Помощ
Вход
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 години