owainlewis / lambda-calculusLinks
Lambda calculus parser in Haskell
☆14Updated 8 years ago
Alternatives and similar repositories for lambda-calculus
Users that are interested in lambda-calculus are comparing it to the libraries listed below
Sorting:
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- ICFP tutorial☆39Updated 3 years ago
- ☆47Updated 3 weeks ago
- A tutorial on how Agda infers things☆43Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Example language server (LSP) implementation for a toy language☆60Updated 3 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated last year
- A verified compiler for a lazy functional language☆36Updated last week
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- Unification and type inference algorithms☆125Updated 10 years ago
- A library for doing generic programming in Agda☆31Updated 4 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Fast equality saturation in Haskell☆84Updated 4 months ago
- Efficient effect handlers based on Evidence Passing Semantics.☆30Updated 4 years ago
- Typing Haskell in Haskell☆15Updated 15 years ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- The multimode presheaf proof-assistant☆36Updated 2 years ago
- Efficient parser combinators for Haskell☆39Updated 3 weeks ago
- Experimental effects library for Idris 2☆42Updated 3 years ago