kmate/agda-highlight

Some crappy code for highlighting Agda

Haskell