package coq-pprint
A modern combinator pretty-printing library for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.1-8.20.tar.gz
sha256=3e35d5987257b06777d38f4fdf99d3d6d208dba7d7a09f0bc16512ee1bc4b12a
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: 19 Nov 2024
On This Page