diff options
Diffstat (limited to 'src/pprint/README')
| -rw-r--r-- | src/pprint/README | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/pprint/README b/src/pprint/README new file mode 100644 index 00000000..7146250a --- /dev/null +++ b/src/pprint/README @@ -0,0 +1,13 @@ +This is an adaptation of Daan Leijen's "PPrint" library, which itself is based +on the ideas developed by Philip Wadler in "A Prettier Printer". For more +information about Wadler's and Leijen's work, please consult the following +references: + + http://www.cs.uu.nl/~daan/pprint.html + http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf + +To install PPrint, type "make -C src install". ocamlfind is required. + +The documentation for PPrint is built by "make doc" and is found in the +file doc/index.html. + |