diff options
| author | Gabriel Kerneis | 2014-05-01 13:28:53 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-05-12 16:45:54 +0100 |
| commit | 242bcdc7cc2ae71c6c9c25dcc89f65db1c82d557 (patch) | |
| tree | 40ae19f5d874c056a393d121b80e320589131816 /src/pprint/README | |
| parent | 314205cc12f9872b5c11ca76d4eb74a12d85cda7 (diff) | |
Import pprint library
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. + |