Accueil Explorer Aide
Connexion
caryoscelus
/
agda
Suivre 1
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Branche: js_amd
Branches Tags

Historique des commits

Auteur SHA1 Message Date
  ulfn 1d8e159e87 more notes on family pattern matching il y a 18 ans
  ulfn c83edbc584 note on better pattern matching for families il y a 18 ans
  ulfn 1fdb7861ab introduced MonadTCM and made most operations polymorphic in the monad il y a 18 ans
  ulfn 7b4cbca3cc allow definitiono of inductive families (pattern matching will still fail) il y a 18 ans
  ulfn fcb5a197fd some notes il y a 18 ans