Начало Каталог Помощ
Вход
caryoscelus
/
agda
Наблюдаван 1
Харесван 0
Разклонения 0
Файлове Задачи 0 Заявки за сливане 0 Уики
Клон: js_amd
Клонове Маркери

Commit History

Автор SHA1 Съобщение Дата
  ulfn a4d8e4bbdf changed syntax for record fields in preparaton for fancy projection modules преди 17 години
  Nils Anders Danielsson 8a1d8c46c6 Added AIM6 RegExp talk. преди 18 години