Lysxia / gradual-eff-paper
β17Updated last year
Related projects β
Alternatives and complementary repositories for gradual-eff-paper
- A type theory with native support for Polynomial Functors.β38Updated last year
- πͺ A Staged Type Theoryβ34Updated last year
- Linear map categories in Agdaβ5Updated last year
- A compiler that translates a form of lambda calculus to Cβ12Updated 7 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theoremβ33Updated 5 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Arrayβ28Updated 3 years ago
- An efficient graph library for Haskellβ39Updated 3 months ago
- Bidirectional programming in Haskell with monadic profunctorsβ44Updated 2 years ago
- Formalization of type theoryβ22Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machineβ28Updated 11 months ago
- Toy implementation of Martin-LΓΆf Type Theoryβ28Updated 2 years ago
- π§ An indexed construction of semi-simplicial and semi-cubical typesβ25Updated last week
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.β19Updated 7 months ago
- Order theoryβ23Updated last year
- higher-kinded dataβ30Updated last year
- β28Updated 2 years ago
- Session Types with Priority in Linear Haskellβ25Updated 5 months ago
- the dynabook but for haskellβ23Updated 5 years ago
- Session types in Idris2!β27Updated 3 years ago
- Example uses of linear typesβ43Updated 4 years ago
- classical sequent calculus, embedded in Haskellβ19Updated 2 years ago
- A Haskell monad transformer library for data validationβ36Updated last year
- Compiler backend for generating Scheme codeβ26Updated last year
- Automatic piecewise-mutable references for your typesβ43Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamicsβ21Updated 5 months ago
- Let's rethink how we interact with Agdaβ18Updated 2 years ago
- Experimental proof assistant (and architecture) for dependent linear logicβ47Updated 2 years ago
- An implementation of a simple Neural network in Idris using category theory.β22Updated 2 months ago
- β17Updated 6 years ago
- Funny little Haskell implβ18Updated 4 years ago