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

Default placeholder for constructor parameter/pattern #5

Closed ice1000 closed 5 years ago

ice1000 commented 5 years ago 
sum { True | False }
split { True =>  | False => }