Syntax highlighting with pygments

[byorgey]

It would be nice to write a pygments syntax highlighter for disco, so we can have nice syntax highlighting for code examples in the documentation.

[byorgey]

Reference:

• http://pygments.org/docs/lexerdevelopment/
• https://github.com/mhaberler/pygments/blob/master/pygments/lexers/haskell.py

[byorgey]

As an alternative, we could update the pretty-printer so it is able to output tokens tagged with semantic information to aid in coloring. It seems a bit silly to have to maintain a completely separate lexer for the language in Python. I am not sure how this kind of thing usually works.

Of course, a big advantage of using pygments is that it would work natively with readthedocs (I think? see sphinx-doc/sphinx#9105 ) and also with the minted LaTeX package.