search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: bunched sugaring #104

Closed yutakang closed 4 years ago

yutakang commented 5 years ago

Should we add syntax sugar altogether in Eval_Inner and Eval_Outer?

Pros: this is the best place to add syntax sugar that involves distinct types of assertions on distinct types (e.g. assertions on Node and Print).

yutakang commented 4 years ago

Done in dc34cc7b8014036249d3f1e0bf91d8719ead7e15