A polymode configuration for working with Agda in Markdown
Primary LanguageEmacs Lisp
No one’s star this repository yet.