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.
☆179Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for idris-koans
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- Learn you an Agda (and achieve enlightenment)☆314Updated 6 years ago
- Richard A. Eisenberg's PhD Dissertation☆207Updated 6 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆158Updated 5 years ago
- xmonad with the X11 abstracted and configured with Idris☆205Updated 5 years ago
- A bare-bones calculus-of-constructions☆374Updated 2 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆256Updated 2 months ago
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆194Updated 3 years ago
- Language independent type-safe communication☆133Updated 6 years ago
- The Art of the Propagator. See also:☆170Updated 7 months ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- Parser combinators for Idris☆238Updated 5 years ago
- Developer tools for Haskell☆250Updated 3 months ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆140Updated 3 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- Test monadic programs using state machine based models☆203Updated 3 years ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆135Updated 4 years ago
- Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink☆298Updated 4 months ago
- Type safe interface for working in subcategories of Hask☆418Updated 5 years ago
- Equational laws for free☆250Updated 7 months ago
- Idris mode for vim☆220Updated 4 years ago
- Another implementation of Frank.☆70Updated 7 years ago
- A language experiment -- irc.freenode.net ##coda☆163Updated 6 months ago
- Play Minesweeper by formally proving your moves in Idris☆166Updated last month
- Generalized bananas, lenses and barbed wire☆336Updated 4 months ago
- The People's Refinement Logic☆227Updated last year