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
  andreas.abel 7d12e7bfe8 removed bug in termination checker causing call to be collected up to four times hace 16 años
  ulfn f579af2a84 removed termination examples with constructor names not mattering hace 16 años
  andreas.abel 2537421840 more-termination-examples hace 16 años