package coq-pprint
A modern combinator pretty-printing library for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.0-8.20.tar.gz
sha256=a37cec295e8658608bfd5521770804bdb72510ccafc322923b8a5f10a417ddeb
Description
A combinator pretty-printing library, in the style of Wadler's "A Prettier Printer".
- Handles utf-8 strings.
- Supports generic annotations on text (colors, italics, etc).
- Well documented.
Published: 14 Nov 2024
On This Page