A Idris port of the prettyprinter library [1] and the ANSI terminal backend [2]. [1] https://hackage.haskell.org/package/prettyprinter [2] https://hackage.haskell.org/package/prettyprinter-ansi-terminal