search

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

Sigma/Pi/Sum with level #14

Closed oraluben closed 5 years ago

ice1000 commented 5 years ago

I've added level() to Value: https://github.com/owo-lang/minitt-rs/blob/b05132b5dbd0de0fa0361ff2021603d6ba36d31b/src/eval.rs#L92-L106