package coq-pprint
A modern combinator pretty-printing library for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.0.tar.gz
sha256=72196972e35dc68ccfbf11121081e9eb55b987d0133d25fefc156513b60bf39a
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: 03 Nov 2024
On This Page