Hi!
There is an idea to use pandoc for ceylondoc compilation. This tool allows to use markdown as it is and also allow user to use variety of standards for documentation.
In case of pandoc user is able to document some formulas like this:
This converter can also provide html pages for herd module and make cross links.
All the features we have now with markdown will stay the same. Pandoc is fully copatitable with md.
Another good feature will be custom modules for documentation.
To support this feature we should change compiler and IDE plugin.