diff options
| author | Gabriel Kerneis | 2014-05-12 16:45:36 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-05-12 16:45:54 +0100 |
| commit | 98709fffe3a24e63fe245bd304e07440cfa0a898 (patch) | |
| tree | 130da18cfdf12714b8aac22dd850a2ef734c70a1 /README | |
| parent | 3a1b6cd41bcfeea475c7a24693b98633dda03b75 (diff) | |
First part of new pretty-printer
Compiles but untested. Parentheses should be correct
(based on parser), but it probably lacks some spacing
(in particular in lists) and breaking opportunities.
The plan is to tweak those later, when we have a working
first implementation.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions