Emacs macros for unit-testing Agda code
Emacs Lisp
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Front Page.page
Gitit User's Guide.page
Help.page
agda-test.el