mbk/justify
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean monospace justification algorithm described in Haskell: the Craft of Functional Programming (implementation not based on that though)
4 commits 1 branch 0 tags 32 KiB
Lean 100%
Find a file
mehbark f03131610f streaming
2025-01-28 20:57:29 -05:00
lake-manifest.json v1 2025-01-28 10:02:58 -05:00
lakefile.toml v1 2025-01-28 10:02:58 -05:00
lean-toolchain v1 2025-01-28 10:02:58 -05:00
Main.lean streaming 2025-01-28 20:57:29 -05:00
README.md v1 2025-01-28 10:02:58 -05:00

README.md

justify