idris-koans
Idris tutorial
Learning Idris by fixing failing code in a series of small exercises
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.
178 stars
16 watching
26 forks
Language: Idris
last commit: over 6 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
idris-lang/idris-tutorial | An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system. | 94 |
idris-hackers/idrisscript | Provides safe interface to JavaScript's unsafe world | 92 |
stedolan/idris-malfunction | An experimental compiler that translates Idris code into the Malfunction programming language. | 81 |
idris-industry/ikan | A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility. | 34 |
elixirkoans/elixir-koans | A set of exercises to learn Elixir programming language through interactive challenges | 2,257 |
robertjlooby/elm-koans | A collection of exercises and tests to help learn Elm programming language | 233 |
idris-hackers/idris-free | A collection of Idris libraries and constructions that simplify working with monads in functional programming. | 26 |
dwyl/learn-travis | A tutorial for Node.js developers to learn Continuous Integration with Travis CI | 1,243 |
sleepyfox/coffeescript-koans | Learn CoffeeScript by solving simple exercises and gradually introducing new concepts. | 444 |
dojo-toulouse/elixir-koans | A collection of small exercises to help discover Elixir by testing | 249 |
francks/ringidris | This is a collection of tactics to prove equivalences between algebraic structures in the Idris programming language. | 20 |
mmhelloworld/idris-jvm | Provides a JVM backend for the Idris programming language. | 470 |
kracekumar/python-typing-koans | A learning tool to help developers understand type hints in Python by fixing errors and annotating code | 119 |
idris-lang/idris-dev | A development repository for a dependently typed functional programming language | 3,440 |
vexx32/pskoans | An interactive way to learn PowerShell through Pester unit testing and kōans. | 1,727 |