pigworker/CS410-13 — pull request #1 by gallais (2013-11-18 15:56:21+00:00)
Title: Underscores in pragmas are not escaped by lhs2tex

Bug reported upstream & it won't be fixed [1]. This is an ad-hoc
solution to get the notes to compile.

[1] https://github.com/kosmikus/lhs2tex/issues/32