/agda-test

Emacs macros for unit-testing Agda code

Primary LanguageEmacs Lisp

Watchers