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)
6 commits 1 branch 0 tags 35 KiB
Lean 100%
Find a file
mehbark 19adece4a2 idiomatic tweaks
2025-02-04 10:10:36 -05:00
lake-manifest.json v1 2025-01-28 10:02:58 -05:00
lakefile.toml idiomatic tweaks 2025-02-04 10:10:36 -05:00
lean-toolchain idiomatic tweaks 2025-02-04 10:10:36 -05:00
Main.lean idiomatic tweaks 2025-02-04 10:10:36 -05:00
README.md v1 2025-01-28 10:02:58 -05:00

README.md

justify