Posts tagged “lean”
2025-12-06
Folds! Monoids?
2025-12-05
Custom syntax ∪ ranges
2025-12-04
Fuel for the termination checker
2025-12-03
Finding the batteries, learning to assert myself, and making a mess of number theory
2025-12-02
Ranges, and treating numbers as strings
2025-12-01
Learning the ropes again