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 93cbe1d5d5 some notes 19 years ago
  ulfn 5d23574034 more typing rules 19 years ago
  ulfn 15af083f8f started on type checking algorithm 19 years ago