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

Commit History

Автор SHA1 Съобщение Дата
  Andrés Sicard-Ramírez c98e6d0d7c Merge agda-maint преди 9 години
  Andrés Sicard-Ramírez 06ab82bbb7 [ #1753 ] Renamed lib-succeed to LibSucceed. преди 9 години