Re: [Haskell-cafe] GSoC Project Proposal: Markdown support for Haddock

Would it be too much to ask that a notation be used which has a formal syntax and a formal semantics?

We will document our superset, sure. That's what others did as well. The point is using Markdown as the shared base.