Agda port of the Haskell pretty (Text.PrettyPrint) package - View it on GitHub