Home Verkennen Help
Inloggen
caryoscelus
/
agda
Volgen 1
Ster 0
Vork 0
Bestanden Kwesties 0 Pull-aanvragen 0 Wiki
Aftakking: js_amd
Aftakkingen Labels

Commit History

Auteur SHA1 Bericht Datum
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 jaren geleden
  Nils Anders Danielsson 9e28c3ca62 Code which demonstrates poor performance for records. 15 jaren geleden