support for literate Markdown Agda?

banacorn / agda-mode

agda-mode on Atom

https://atom.io/packages/agda-mode

MIT License

58 stars 14 forks source link

support for literate Markdown Agda? #130

Open lclem opened 4 years ago

lclem commented 4 years ago

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?