├── .gitignore ├── .travis.yml ├── LICENSE ├── LP.hs ├── Makefile ├── Notes.org ├── README.md ├── Text └── PrettyPrint │ ├── Compact.hs │ └── Compact │ └── Core.hs ├── acmart.cls ├── acmthm.sty ├── bench ├── Benchmark.hs ├── big.json └── small.json ├── benchmark-40.dat ├── benchmark-80.dat ├── benchmark-random.dat ├── default.nix ├── paper ├── BenchmarkLibs.hs ├── BenchmarkXML.hs ├── Benchmarks.hs ├── ICFP-Mandatory-revisions.txt ├── ICFP2017-draft-reviews.txt ├── ICFP2017-reply.txt ├── Paper.hs ├── benchdata │ ├── 10k.json │ ├── 1k.json │ ├── cds.xml │ └── cdsb10k.xml ├── blog.md ├── lib │ └── PM.hs └── pretty-paper.cabal ├── pretty-compact.cabal ├── stack.yaml ├── styx.yaml └── talk ├── .gitignore ├── Balanced.png ├── HCat.png ├── Outline.org └── Random.png /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/LICENSE -------------------------------------------------------------------------------- /LP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/LP.hs -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/Makefile -------------------------------------------------------------------------------- /Notes.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/Notes.org -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/README.md -------------------------------------------------------------------------------- /Text/PrettyPrint/Compact.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/Text/PrettyPrint/Compact.hs -------------------------------------------------------------------------------- /Text/PrettyPrint/Compact/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/Text/PrettyPrint/Compact/Core.hs -------------------------------------------------------------------------------- /acmart.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/acmart.cls -------------------------------------------------------------------------------- /acmthm.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/acmthm.sty -------------------------------------------------------------------------------- /bench/Benchmark.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/bench/Benchmark.hs -------------------------------------------------------------------------------- /bench/big.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/bench/big.json -------------------------------------------------------------------------------- /bench/small.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/bench/small.json -------------------------------------------------------------------------------- /benchmark-40.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/benchmark-40.dat -------------------------------------------------------------------------------- /benchmark-80.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/benchmark-80.dat -------------------------------------------------------------------------------- /benchmark-random.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/benchmark-random.dat -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/default.nix -------------------------------------------------------------------------------- /paper/BenchmarkLibs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/BenchmarkLibs.hs -------------------------------------------------------------------------------- /paper/BenchmarkXML.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/BenchmarkXML.hs -------------------------------------------------------------------------------- /paper/Benchmarks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/Benchmarks.hs -------------------------------------------------------------------------------- /paper/ICFP-Mandatory-revisions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/ICFP-Mandatory-revisions.txt -------------------------------------------------------------------------------- /paper/ICFP2017-draft-reviews.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/ICFP2017-draft-reviews.txt -------------------------------------------------------------------------------- /paper/ICFP2017-reply.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/ICFP2017-reply.txt -------------------------------------------------------------------------------- /paper/Paper.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/Paper.hs -------------------------------------------------------------------------------- /paper/benchdata/10k.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/benchdata/10k.json -------------------------------------------------------------------------------- /paper/benchdata/1k.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/benchdata/1k.json -------------------------------------------------------------------------------- /paper/benchdata/cds.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/benchdata/cds.xml -------------------------------------------------------------------------------- /paper/benchdata/cdsb10k.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/benchdata/cdsb10k.xml -------------------------------------------------------------------------------- /paper/blog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/blog.md -------------------------------------------------------------------------------- /paper/lib/PM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/lib/PM.hs -------------------------------------------------------------------------------- /paper/pretty-paper.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/paper/pretty-paper.cabal -------------------------------------------------------------------------------- /pretty-compact.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/pretty-compact.cabal -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/stack.yaml -------------------------------------------------------------------------------- /styx.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/styx.yaml -------------------------------------------------------------------------------- /talk/.gitignore: -------------------------------------------------------------------------------- 1 | *.pdf 2 | *.tex -------------------------------------------------------------------------------- /talk/Balanced.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/talk/Balanced.png -------------------------------------------------------------------------------- /talk/HCat.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/talk/HCat.png -------------------------------------------------------------------------------- /talk/Outline.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/talk/Outline.org -------------------------------------------------------------------------------- /talk/Random.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jyp/prettiest/HEAD/talk/Random.png --------------------------------------------------------------------------------