Replacing Security Deposits
Block or Report
Block or report bryanwoods
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Idris
All languages
ActionScript
C
CSS
Clojure
CoffeeScript
Elixir
Haskell
Idris
JavaScript
Jupyter Notebook
Lua
Objective-C
Python
Ruby
Rust
Scheme
Nothing to show
Sort by: Most stars
2
stars
written in Idris
Clear filter
A dependently typed programming language, a successor to Idris
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…