Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: working
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  ulfn 1d8e159e87 more notes on family pattern matching před 18 roky
  ulfn c83edbc584 note on better pattern matching for families před 18 roky
  ulfn 1fdb7861ab introduced MonadTCM and made most operations polymorphic in the monad před 18 roky
  ulfn 7b4cbca3cc allow definitiono of inductive families (pattern matching will still fail) před 18 roky
  ulfn fcb5a197fd some notes před 18 roky