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

Commit History

Автор SHA1 Съобщение Дата
  Nils Anders Danielsson 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. преди 15 години
  ulfn 5968d8f8e8 minor fixes to examples преди 18 години
  ulfn 46ea7c442c started on port of Few Digits library for exact real arithmetic преди 18 години