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
  ulfn 76730c04f7 fixed broken benchmark examples hace 10 años
  ulfn c9ae0656cf made some changes to accomodate the new level representation hace 13 años
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. hace 15 años