Главная Обзор Помощь
Вход
caryoscelus
/
agda
Следить 1
В избранное 0
Ответвить 0
Файлы Обсуждения 0 Запросы на слияние 0 Вики
Ветка: js_amd
Ветки Метки
agda
/
examples
/
malformed
/
Empty.agda

Empty.agda 19 B
Постоянная ссылка История Исходник

12 
  1. module Empty where
    2. 

  2.