Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): js_amd_patch
Rami (Branch) Tag

Cronologia Commit

Autore SHA1 Messaggio Data
  Andreas Abel c71681368f [ fixed #5103 ] --allow-unsolved-metas in compilation 4 anni fa
  Andreas Abel df563b2c57 [ compiler test ] cosmetics 5 anni fa
  Philipp Hausmann 03c8272555 [ js ] Enable some more tests 7 anni fa
  Ulf Norell 4d953be4c6 [ compiler test ] added test case reversing a vector 9 anni fa