HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

Compile lambda applications to `!` in kindelia #397

Closed developedby closed 2 years ago

developedby commented 2 years ago

When compiling lambda applications to kindelia, we should use the ! syntax to indicate a lambda. This produces clearer kdl code and could potentially avoid some name confusions