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.
AI summary
Idris tutorial
Learning Idris by fixing failing code in a series of small exercises
- stars
- 178
- forks
- 26
- watching
- 16
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Idris tutorial
An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.
JavaScript binder
Provides safe interface to JavaScript's unsafe world
Compiler
An experimental compiler that translates Idris code into the Malfunction programming language.
Package manager
A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility.
Elixir learning exercises
A set of exercises to learn Elixir programming language through interactive challenges
Elm tutorial set
A collection of exercises and tests to help learn Elm programming language
Monad builder
A collection of Idris libraries and constructions that simplify working with monads in functional programming.
CI tutorial
A tutorial for Node.js developers to learn Continuous Integration with Travis CI
Koan exercises
Learn CoffeeScript by solving simple exercises and gradually introducing new concepts.
Elixir tutorials
A collection of small exercises to help discover Elixir by testing
Equivalence solver
This is a collection of tactics to prove equivalences between algebraic structures in the Idris programming language.
Idris compiler
Provides a JVM backend for the Idris programming language.
Type hinting practice
A learning tool to help developers understand type hints in Python by fixing errors and annotating code
Functional programming language
A development repository for a dependently typed functional programming language
vexx32/pskoans1.7K
PowerShell tutorial
An interactive way to learn PowerShell through Pester unit testing and kōans.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions idris-koans.
