pprint
| Maintainer | francois.pottier@inria.fr | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dependencies |
| |||||||||||||
| Published | Apr 24, 2014 | |||||||||||||
| Source [http] | http://gallium.inria.fr/~fpottier/pprint/pprint-20140424.tar.gz 52e20eae82fb397efc6c5d011fe01503 | |||||||||||||
| Statistics | Installed 433 times last month. | |||||||||||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pprint/pprint.20140424/opam | |||||||||||||
an OCaml adaptation of Wadler's and Leijen's prettier printer
| Necessary for | ||
|---|---|---|
| electrumAnalyzer | ||
| fstar | ||
| >= 0.9.4.0-beta0 | ||
| mezzo | ||
| ocp-ocamlres | ||
| >= 0.2 | ||
| tptp | ||
| >= 0.3.0 |
