Idris2Doc : Text.PrettyPrint.Bernardy

Text.PrettyPrint.Bernardy

(source)
Reexports
import public Text.PrettyPrint.Bernardy.Combinators
import public Text.PrettyPrint.Bernardy.Core
import public Text.PrettyPrint.Bernardy.Interface