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ä
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 vuotta sitten
  Nils Anders Danielsson 9e28c3ca62 Code which demonstrates poor performance for records. 15 vuotta sitten