steshaw / tdd-with-idrisLinks
Working through Type-Driven Development with Idris
☆24Updated 8 years ago
Alternatives and similar repositories for tdd-with-idris
Users that are interested in tdd-with-idris are comparing it to the libraries listed below
Sorting:
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- ☆50Updated 9 years ago
- A more elegant specification for FRP☆24Updated last year
- Static blog generator in Idris.☆39Updated 10 years ago
- ☆49Updated 7 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Monadic Javascript Compiler☆73Updated 9 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 9 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- build tool and package manager for idris,in idris,with free monads☆33Updated 6 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- A test framework for Idris☆54Updated 6 years ago
- A recursion scheme library for Idris.☆25Updated 2 weeks ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 5 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- Common control classes and utility functions☆56Updated last year
- Presentations on Liquid Haskell, type theory, and more☆45Updated 7 months ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- Js libraries for idris☆49Updated 5 years ago
- the EitherT monad transformer☆55Updated 3 months ago
- 2048 in Idris☆122Updated 7 years ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆70Updated 10 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Slides + TodoApp for Chicago Haskell Servant Presentation☆47Updated 9 years ago