This repository was archived by the owner on Feb 26, 2021. It is now read-only.
This repository was archived by the owner on Feb 26, 2021. It is now read-only.
support for literate Markdown Agda? #130
Description
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?