Risto-Stevcev / haskell-church-encodings
Church encodings written in Haskell
☆25Updated 5 years ago
Alternatives and similar repositories for haskell-church-encodings:
Users that are interested in haskell-church-encodings are comparing it to the libraries listed below
- Generic Programming using True Sums of Products☆163Updated 3 months ago
- Difference lists in Haskell☆65Updated 9 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 8 years ago
- compile your own functional language☆36Updated 5 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Haskell 98 contravariant functors☆73Updated 6 months ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- Haskell library for debugging☆122Updated 5 years ago
- ☆40Updated 5 years ago
- The Software Foundations book, in GHC☆82Updated 3 months ago
- Dive into GHC☆82Updated 8 years ago
- Lightweight package providing commonly useful parser combinators☆54Updated 2 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last year
- Text and Haskell source for my blog series on recursion schemes.☆45Updated 2 years ago
- Strongly-typed System F in Haskell☆116Updated 2 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- yacctt: Yet Another Cartesian Cubical Type Theory☆76Updated 6 years ago
- Transactional key-value store written entirely in Haskell☆93Updated 4 years ago
- Tools for programming with ConstraintKinds in GHC☆72Updated 6 months ago
- A language parsing quasiquoter for Haskell based heavily on ANTLR4.☆52Updated 4 years ago
- A collection of Notes on GHC☆69Updated 6 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 8 months ago
- tools for writing better type errors☆73Updated last year
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- TParsec - Total Parser Combinators in Idris☆93Updated last year
- A higher-order effect system where the sky's the limit☆91Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- A language based on homotopy type theory with an interval☆85Updated 10 years ago