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ä
  ulfn 76730c04f7 fixed broken benchmark examples 10 vuotta sitten
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 vuotta sitten
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 vuotta sitten