Главная Обзор Помощь
Вход
caryoscelus
/
agda
Следить 1
В избранное 0
Ответвить 0
Файлы Обсуждения 0 Запросы на слияние 0 Вики
Дерево: 9c190b6ebc
Ветки Метки
agda
/
examples
/
Miller
ulfn 6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though) 13 лет назад
..
Pat.agda 6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though) 13 лет назад