Idris2Doc : Text.PrettyPrint.Prettyprinter

Text.PrettyPrint.Prettyprinter