idris-hackers / idris-koansLinks
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.
☆182Updated 7 years ago
Alternatives and similar repositories for idris-koans
Users that are interested in idris-koans are comparing it to the libraries listed below
Sorting:
- Collection of Idris tests and demonstration programs☆193Updated 7 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- Learn you an Agda (and achieve enlightenment)☆317Updated 7 years ago
- Parser combinators for Idris☆244Updated 6 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆163Updated 6 years ago
- The Art of the Propagator. See also:☆177Updated last year
- Implementation of cryptographic primitives using Idris☆123Updated 7 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Language independent type-safe communication☆134Updated 7 years ago
- Richard A. Eisenberg's PhD Dissertation☆205Updated 7 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆138Updated 4 years ago
- A bare-bones calculus-of-constructions☆381Updated 3 years ago
- Convert lambda expressions to CCC combinators☆149Updated 9 years ago
- Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink☆302Updated 8 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆266Updated last year
- Networks of composable stream transducers☆338Updated 8 months ago
- Sample code from "Type Driven Development with Idris"☆164Updated 8 years ago
- An implementation of Pie in Haskell☆211Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- Idris mode for vim☆221Updated 5 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆200Updated 4 years ago
- Example code for how we swap compiled code within a running Haskell process.☆173Updated 7 years ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 5 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 10 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- A language experiment -- irc.freenode.net ##coda☆163Updated last year
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago