ekmett / multicategories
Playing around with multicategories and operads
☆16Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for multicategories
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 8 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- ☆17Updated 2 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- ☆39Updated 7 years ago
- playing with hyperfunctions☆15Updated 3 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- van Laarhoven Free Monad with Extensible Effects☆24Updated 8 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- ☆20Updated last year
- An experiment in functional interface design☆23Updated 8 years ago
- Sort any Traversable container☆41Updated 2 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆27Updated 2 months ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Invertible parsing for S-expressions☆33Updated last month
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- Handling errors which occur deep inside lens-chains☆17Updated 5 years ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year