λ-calculus with ⊏, ≤, ∧, ∨.
Primary LanguageStandard MLBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause
An implementation of STLC with refinement and subtyping.