Positivity check for sum types - Githubissues

owo-lang / minitt-rs

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

Apache License 2.0

113 stars 3 forks source link

Positivity check for sum types #8

Open ice1000 opened 5 years ago