macros in elisp for writing literate agda files
Primary LanguageEmacs Lisp
This repository is not active