Startsida Utforska Hjälp
Logga in
caryoscelus
/
agda
Bevaka 1
Stjärnmärk 0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Gren: js_amd_patch
Grenar Taggar

Commit History

Upphovsman SHA1 Meddelande Datum
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 år sedan
  Nils Anders Danielsson 9e28c3ca62 Code which demonstrates poor performance for records. 15 år sedan