Imagining a language without booleans(justinpombrio.net)69 points by todsacerdoti 1 year ago | 69 comments
The Gregorio project – GPL tools for typesetting Gregorian chant(gregorio-project.github.io)53 points by mcookly 6 months ago | 9 comments
Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing(spakhm.com)5 points by lioeters 10 months ago | 1 comments
Totality and non-standard recursion in Idris(franklin.dyer.me)4 points by franklin_p_dyer 2 years ago | 0 comments
