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
agda
/
test
/
Compiler
Nils Anders Danielsson b52a21df38 [ #5731 ] Added --save-metas and --no-save-metas. hace 2 años
..
simple b52a21df38 [ #5731 ] Added --save-metas and --no-save-metas. hace 2 años
special b56b3965a6 [ backend ] updated compiler pragmas in test cases hace 7 años
with-stdlib 0606bf2ce0 [ #5431 ] Added --ghc-strict-data. hace 3 años
Tests.hs 4f95e08517 Fixed #5441. hace 3 años