Inicio Explorar Ayuda
Iniciar sesión
caryoscelus
/
agda
Seguir 1
Destacar 0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Rama: js_amd
Ramas Etiquetas

Historial de Commits

Autor SHA1 Mensaje Fecha
  ulfn 1d8e159e87 more notes on family pattern matching hace 18 años
  ulfn c83edbc584 note on better pattern matching for families hace 18 años
  ulfn 1fdb7861ab introduced MonadTCM and made most operations polymorphic in the monad hace 18 años
  ulfn 7b4cbca3cc allow definitiono of inductive families (pattern matching will still fail) hace 18 años
  ulfn fcb5a197fd some notes hace 18 años