8 Projects and apps Similar to " - Code, corrections and info on the book: " in July 2025
GitHub - idris-hackers/idris-koans: Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Koans are small lessons on the path to enlightenment the aim of the idris koans project is to provide an easy learning environment in idris your insight will be derived by encountering failing co
GitHub - timoxley/functional-javascript-workshop: A functional javascript workshop. No libraries required (i.e. no underscore), just ES5.
A functional javascript workshop no libraries required i e no underscore just es5 git hub timoxley functional javascript workshop a functional javascript workshop no libraries required
GitHub - lettier/parsing-with-haskell-parser-combinators: 🔍 A step-by-step guide to parsing using Haskell parser combinators.
A step by step guide to parsing using haskell parser combinators git hub lettier parsing with haskell parser combinators a step by step guide to parsing using haskell parser combinators
Subscribe to our Newsletter
Subscribe to get resources directly to your inbox. You won't receive any spam! ✌️