Idris
-
Contributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platform
github.com GitHub - exercism/idris: Exercism exercises in Idris.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.
-
Kevin Mahoney: Tests vs Types
kevinmahoney.co.uk Tests vs TypesWhen should you use tests and when should you use types? What information and guarantees do we get for our efforts?
-
Edwin Brady introducing Idris 2: Type-driven development of Idris
YouTube Video
Click to view this content.