Sidebar

Idris

"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearID
Idris pangyuehung • 4 years ago • 100%
Contributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platform github.com

[Exercism](https://exercism.io/) 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](https://exercism.io/become-a-maintainer) , and of course there's no profit motive to lock things up behind paywalls.

2
0
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearID
Idris pangyuehung • 4 years ago • 100%
Kevin Mahoney: Tests vs Types https://kevinmahoney.co.uk/articles/tests-vs-types/
2
1
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearID
Idris pangyuehung • 4 years ago • 100%
Edwin Brady introducing Idris 2: Type-driven development of Idris youtu.be
1
0