https://github.com/agda/agda-pretty

Agda port of the Haskell pretty (Text.PrettyPrint) package
https://github.com/agda/agda-pretty

Last synced: 4 months ago
JSON representation

Agda port of the Haskell pretty (Text.PrettyPrint) package

• Host: GitHub
• URL: https://github.com/agda/agda-pretty
• Owner: agda
• License: other
• Created: 2025-06-23T12:41:44.000Z (12 months ago)
• Default Branch: main
• Last Pushed: 2025-06-25T14:42:18.000Z (12 months ago)
• Last Synced: 2026-02-02T07:36:09.858Z (4 months ago)
• Language: Agda
• Size: 23.4 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
More or less complete Agda port of the [pretty](https://hackage.haskell.org/package/pretty) Haskell package.

Modules

- [`Text.PrettyPrint.Annotated`](src/Text/PrettyPrint/Annotated.agda) (the actual code)

- [`Text.PrettyPrint`](src/Text/PrettyPrint.agda) (thin wrapper setting annotations to ⊤)

- [`Text.PrettyPrint.ANSI`](src/Text/PrettyPrint/ANSI.agda) (ANSI-color annotations, _not in the Haskell package_)