Главная Обзор Помощь
Вход
caryoscelus
/
agda
Следить 1
В избранное 0
Ответвить 0
Файлы Обсуждения 0 Запросы на слияние 0 Вики
Дерево: ce9b406819
Ветки Метки
agda
/
benchmark
/
std-lib
Ulf Norell 2f212bf556 Add --auto-inline and make it off by default 4 лет назад
..
Any.agda 2f212bf556 Add --auto-inline and make it off by default 4 лет назад