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
  ulfn c3300b11f0 type checking of named implicit arguments 18 years ago
  ulfn 75065f49c0 syntax for named implicit arguments (ignored when type checking) 18 years ago
  ulfn ff2ccf61c4 checking that metas have been solved (only batch mode) 19 years ago