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
  Víctor López Juan 935523f9c7 [ revert 3c6482b ] Revert fix for #3027 (pr #4392) for the sake of #4408 5 years ago
  Víctor López Juan 3c6482bfd6 [ fix #3027 ] block bound variable on right side of constraint (#4392) 5 years ago
  G. Allais 08dd23df8d [ fix #3129 ] add 'bugs' target to the test suite (#3970) 5 years ago