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.
☆177Updated 6 years ago
Alternatives and similar repositories for idris-koans:
Users that are interested in idris-koans are comparing it to the libraries listed below
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- Learn you an Agda (and achieve enlightenment)☆315Updated 7 years ago
- A bare-bones calculus-of-constructions☆377Updated 2 years ago
- Software Foundations in Idris☆455Updated 5 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 4 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆139Updated 4 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆262Updated 6 months ago
- The Art of the Propagator. See also:☆172Updated 11 months ago
- xmonad with the X11 abstracted and configured with Idris☆206Updated 5 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆159Updated 6 years ago
- Richard A. Eisenberg's PhD Dissertation☆206Updated 6 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- Generate Haskell code from a type☆133Updated last month
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago
- Parser combinators for Idris☆240Updated 5 years ago
- Generalized bananas, lenses and barbed wire☆345Updated 3 months ago
- Language independent type-safe communication☆133Updated 7 years ago
- Developer tools for Haskell☆250Updated 8 months ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆196Updated 3 years ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- Sample code from "Type Driven Development with Idris"☆161Updated 7 years ago
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- optics for Haskell with the most amazing type errors you've seen☆242Updated 5 years ago
- Idris mode for vim☆221Updated 4 years ago
- The home of the Glamorous Glambda interpreter☆224Updated 3 months ago
- The People's Refinement Logic☆229Updated 2 years ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 6 years ago
- Examples of Dependently-typed programs in Haskell☆304Updated 2 years ago
- Test monadic programs using state machine based models☆203Updated 3 years ago