/agda-test

Emacs macros for unit-testing Agda code

Primary LanguageEmacs Lisp

This repository is not active