A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.
-
Updated
Feb 9, 2020 - OCaml
A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.
Type checker for pure MLTT using well-scoped de Bruijn indices
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
✨🚀 Blazing fast, inferred static type checker for JavaScript.
Tina, a programming language with typed algebraic effects and handlers.
OCaml implementation of a constraint-based bottom-up type inference algorithm
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."