agda-mode icon indicating copy to clipboard operation
agda-mode copied to clipboard

Published 20 hours ago • verified publisher icon banacorn

support for literate Markdown Agda?

Open lclem opened this issue 5 years ago • 0 comments

It would be great to be able to use Atom in order to work with .lagda.md source files. Would it be difficult to extend agda-mode to work with this different format instead?

lclem avatar Aug 20 '20 06:08 lclem