search

wilbowma / cur

A less devious proof assistant
BSD 2-Clause "Simplified" License
222 stars 18 forks source link

Simple sugar #34

Closed wilbowma closed 8 years ago

wilbowma commented 8 years ago

It's sort of instructive to see how -> and ->* and forall and forall* are different. But really, it's annoying to program with. Simplify this so, e.g., there is one -> form with multiple syntaxes, and one lambda form, etc.

wilbowma commented 8 years ago

These examples are fixed in the simple-sugar branch, but also working on improving match and deprecating case* and case before merging.