Support big lambdas - 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

Closed ice1000 closed 5 years ago

ice1000 commented 5 years ago

Why do we need this anyway?

ice1000 commented 5 years ago

Because we need to infer lambdas' types!