Please enable JavaScript in your browser!
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
js_amd
js_amd_patch
working
Historial de Commits
Buscar
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