0

Improper highlighting of GHC pragmas

Sergei Lebedev vor 13 Jahren aktualisiert vor 13 Jahren 0
Pragmas are basically comments with `#` going right after the opening and before the closing comment bracket, for example:

Image 78