Pretty Printing Ideas

Jump to bottom

Cyrus Omar edited this page Sep 9, 2019 · 1 revision

Papers

David Christiansen and colleagues have a draft on pretty printing using proportional fonts: The Final Pretty Printer.
ICFP 2017 functional pearl: A Pretty But Not Greedy Printer