md-agda-mode Polymode configuration for working with Agda embedded into Markdown. This is based off of: https://github.com/alhassy/org-agda-mode