contrib001.idr

module Main

import Text.PrettyPrint.WL

%default total

myDoc : Doc
myDoc = fold (|//|) $ map text $ words "this is a long sentence with a lot of words that I can use for testing the performance of the prettier printer implementation. I need a few more words to prove my point, though."

myString : String
myString =  toString 0 15 $ myDoc

main : IO ()
main = putStrLn myString