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 8ca2402d1f Testsuite: use Text.words consistently when diffing hace 3 años
  Wen Kokke f713441fc4 Extend reflection with system calls (#4759) hace 4 años
  Víctor López Juan c445e699d8 [ enhance ] Use distinct exit codes for TCM errors, impossibles, etc. hace 5 años
  G. Allais 08dd23df8d [ fix #3129 ] add 'bugs' target to the test suite (#3970) hace 5 años