https://github.com/redprl/sml-final-pretty-printer
A Standard ML port of Christiansen, Darais and Ma's Final Pretty Printer
https://github.com/redprl/sml-final-pretty-printer
pretty-print
Last synced: about 1 month ago
JSON representation
A Standard ML port of Christiansen, Darais and Ma's Final Pretty Printer
- Host: GitHub
- URL: https://github.com/redprl/sml-final-pretty-printer
- Owner: RedPRL
- License: mit
- Created: 2017-06-20T18:51:45.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2018-01-12T17:56:30.000Z (about 8 years ago)
- Last Synced: 2025-11-19T02:03:05.817Z (5 months ago)
- Topics: pretty-print
- Language: Standard ML
- Homepage:
- Size: 24.4 KB
- Stars: 10
- Watchers: 4
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
A Standard ML port of the [Final Pretty
Printer](https://github.com/david-christiansen/final-pretty-printer/) (Christiansen, Darais and Ma).