Idris2Doc : Text.PrettyPrint.Bernardy

Text.PrettyPrint.Bernardy

(source)

Reexports

importpublic Text.PrettyPrint.Bernardy.Combinators
importpublic Text.PrettyPrint.Bernardy.Core
importpublic Text.PrettyPrint.Bernardy.Interface