steshaw / tdd-with-idrisLinks
Working through Type-Driven Development with Idris
☆24Updated 9 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:
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated 2 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Monad and comonad transformers☆71Updated last year
- ☆49Updated 7 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 years ago
- Slides & demos for talks I do☆58Updated 5 years ago
- ☆46Updated 9 years ago
- PureScript bindings for D3☆86Updated 3 years ago
- A wrapper for Node's HTTP APIs☆40Updated 2 years ago
- ☆50Updated 9 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆97Updated 3 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- Compile PureScript into Haskell.☆68Updated 7 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 10 months ago
- ☆33Updated 9 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 5 years ago
- A Prelude with names from category theory☆51Updated 9 years ago
- Js libraries for idris☆49Updated 5 years ago
- A type class which captures stack-safe monadic tail recursion☆38Updated 3 years ago
- Haskell 98 contravariant functors☆73Updated 11 months ago
- Generic Programming using True Sums of Products☆162Updated last month
- Common control classes and utility functions☆56Updated last year
- Quick HTTP servers☆60Updated 7 years ago