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

Commit History

Автор SHA1 Съобщение Дата
  ulfn 1d8e159e87 more notes on family pattern matching преди 18 години
  ulfn c83edbc584 note on better pattern matching for families преди 18 години
  ulfn 1fdb7861ab introduced MonadTCM and made most operations polymorphic in the monad преди 18 години
  ulfn 7b4cbca3cc allow definitiono of inductive families (pattern matching will still fail) преди 18 години
  ulfn fcb5a197fd some notes преди 18 години