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

Historial de Commits

Autor SHA1 Mensaje Fecha
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. hace 15 años
  Nils Anders Danielsson 9e28c3ca62 Code which demonstrates poor performance for records. hace 15 años