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

Commit History

Автор SHA1 Съобщение Дата
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. преди 15 години
  Nils Anders Danielsson 9e28c3ca62 Code which demonstrates poor performance for records. преди 15 години