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
  andreas.abel 7d12e7bfe8 removed bug in termination checker causing call to be collected up to four times 16 years ago
  ulfn f579af2a84 removed termination examples with constructor names not mattering 16 years ago
  andreas.abel 2537421840 more-termination-examples 16 years ago