0 | ||| A Idris port of the prettyprinter library [1] and
 1 | ||| the ANSI terminal backend [2].
 2 | |||
 3 | ||| [1] https://hackage.haskell.org/package/prettyprinter
 4 | ||| [2] https://hackage.haskell.org/package/prettyprinter-ansi-terminal
 5 |
 6 | module Text.PrettyPrint.Prettyprinter
 7 |
 8 | import public Text.PrettyPrint.Prettyprinter.Doc
 9 | import public Text.PrettyPrint.Prettyprinter.Symbols
10 |
11 | %default total
12 |