sgillespie / lambda-calculus
An introduction to the Lambda Calculus
☆88Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for lambda-calculus
- Benchmarks for capture-avoiding substitution☆107Updated 2 years ago
- agda-mode on VS Code☆170Updated this week
- 😎TT☆218Updated last year
- Dependently Typed Lambda Calculus in Haskell☆111Updated 3 years ago
- A prototypical dependently typed languages with sized types and variances☆104Updated last year
- A workshop on learning Agda with minimal prerequisites.☆84Updated 8 years ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆115Updated 3 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- "Modern compiler implementation" in Haskell!☆26Updated 9 years ago
- being an operating system for typechecking processes☆121Updated last year
- agda-mode on Atom☆58Updated 3 years ago
- Horn Clause Constraint Solving for Liquid Types☆141Updated this week
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆80Updated 3 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 2 years ago
- Language Server for Agda☆102Updated last week
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆78Updated 4 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Unification and type inference algorithms☆123Updated 9 years ago
- A function definition package for Coq☆223Updated 3 weeks ago
- Trying to write an understandable implementation of Haskell, in Haskell☆120Updated 3 years ago
- Normalization by Evaluation for Martin-Löf Type Theory☆122Updated 5 months ago
- Kaleidoscope Tutorial using llvm-hs☆81Updated 3 years ago
- Archive for all Coq related OPAM packages organized in various repositories☆124Updated this week
- Compiling Agda code to readable Haskell☆176Updated last month
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Spartan type theory☆254Updated 5 months ago
- Agda interaction in vim☆130Updated 3 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆155Updated 3 years ago