Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: js_amd
Branches Tags

Commit History

Author SHA1 Message Date
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 years ago
  Nils Anders Danielsson 9e28c3ca62 Code which demonstrates poor performance for records. 15 years ago