steshaw / tdd-with-idris
Working through Type-Driven Development with Idris
☆24Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for tdd-with-idris
- JVM implementation in Haskell☆44Updated 2 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 3 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆93Updated last year
- ☆47Updated 6 years ago
- A more elegant specification for FRP☆24Updated 10 months ago
- ☆46Updated 8 years ago
- Common control classes and utility functions☆56Updated 9 months ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- build tool and package manager for idris,in idris,with free monads☆34Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- The Effect monad, for handling native side effects☆53Updated 2 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- ☆38Updated 4 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 5 years ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- a simple functional language for learners☆30Updated 7 years ago
- ☆40Updated 6 years ago
- ☆50Updated 9 years ago
- haskell lazy evaluation illustrated☆71Updated 7 years ago
- Monad and comonad transformers☆69Updated 4 months ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- ☆34Updated 8 years ago
- ☆28Updated 6 years ago
- Quick scaffolding for Halogen's HTML DSL☆36Updated 3 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- An HTTP library for idris☆40Updated 5 years ago
- A type class which captures stack-safe monadic tail recursion☆37Updated 2 years ago