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

Commit History

Автор SHA1 Съобщение Дата
  Andreas Abel be3f8af9f6 Fixed #2714 --no-main is now a pragma option преди 7 години
  Andreas Abel 49c5c7d954 Fixed #2172 compile FOREIGN GHC file header pragmas correctly преди 7 години