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.

GitHub

178 stars
16 watching
26 forks
Language: Idris
last commit: over 6 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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