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
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- Learn you an Agda (and achieve enlightenment)☆314Updated 6 years ago
- Parser combinators for Idris☆239Updated 5 years ago
- A bare-bones calculus-of-constructions☆375Updated 2 years ago
- Richard A. Eisenberg's PhD Dissertation☆207Updated 6 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
- xmonad with the X11 abstracted and configured with Idris☆206Updated 5 years ago
- The Art of the Propagator. See also:☆170Updated 7 months ago
- Another implementation of Frank.☆70Updated 7 years ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆218Updated 6 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆158Updated 5 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
- Language independent type-safe communication☆133Updated 6 years ago
- A package manager for Idris☆190Updated 4 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- Generate Haskell code from a type☆129Updated last year
- Distributed programming language that desugars to Morte☆91Updated 2 years ago
- Software Foundations in Idris☆452Updated 5 years ago
- A Idris Mode for Atom.io☆100Updated 4 months ago
- Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink☆298Updated 4 months ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆136Updated 4 years ago
- Developer tools for Haskell☆249Updated 4 months ago
- Type safe interface for working in subcategories of Hask☆419Updated 5 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- Refinement types with static checking☆183Updated last week
- Tutorial for LiquidHaskell☆75Updated last month
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆256Updated 2 months ago