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 a4d8e4bbdf changed syntax for record fields in preparaton for fancy projection modules 17 years ago
  Nils Anders Danielsson 8a1d8c46c6 Added AIM6 RegExp talk. 17 years ago