MPRI / M2-4-2Links
Functional programming and type systems
☆128Updated 9 years ago
Alternatives and similar repositories for M2-4-2
Users that are interested in M2-4-2 are comparing it to the libraries listed below
Sorting:
- Contextual types meet mechanized metatheory!☆191Updated last month
- Types and Programming Languages☆38Updated 10 years ago
- Spartan type theory☆267Updated last year
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 7 years ago
- A demo implementation of a simple dependently-typed language☆594Updated 7 months ago
- Benchmarks for capture-avoiding substitution☆114Updated 3 weeks ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆119Updated 4 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆122Updated 4 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory