Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Branch: js_amd_patch
Branchit Tagit

Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Andreas Abel c71681368f [ fixed #5103 ] --allow-unsolved-metas in compilation 4 vuotta sitten
  Andreas Abel df563b2c57 [ compiler test ] cosmetics 5 vuotta sitten
  Philipp Hausmann 03c8272555 [ js ] Enable some more tests 7 vuotta sitten
  Ulf Norell 4d953be4c6 [ compiler test ] added test case reversing a vector 9 vuotta sitten