There's also Lapce which will hopefully implement Helix's editing model too: https://github.com/lapce/lapce/issues/281
At some point I hope to do a talk or blog post about “the economics of programming languages” to talk more about all this in depth, but here’s an overview of some of the things I’ve learned since “Let’s be Mainstream” when I knew a lot less about how organizational structure influences who ends up u...
Exercism exercises in Idris. Contribute to exercism/idris development by creating an account on GitHub.
Exercism is a Free Software code learning platform run by a nonprofit. In a lot of ways it's a better alternative to the likes of Hackerrank, Coderbyte, Codecademy, etc. since anyone can become a maintainer of a new language track , and of course there's no profit motive to lock things up behind paywalls.
A coding practice website for all programming levels – Join a community of over 3 million developers and improve your coding skills in over 55 programming languages!
When should you use tests and when should you use types? What information and guarantees do we get for our efforts?
When should you use tests and when should you use types? What information and guarantees do we get for our efforts?