search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: make syntactic sugars really syntactic sugars without resorting to ML codes. #123

Closed yutakang closed 3 years ago

yutakang commented 4 years ago

We can avoid producing fresh variable names if we use Lambdas and Applies carefully.

yutakang commented 4 years ago

The remaining issue is what to do with loc.

yutakang commented 4 years ago

and types for quantifiers.

yutakang commented 3 years ago

This is rather a minor issue: SeLFiE works fine w/o fixing it. Anyway, we decided to have fewer syntactic sugars for performance reasons.

I would spend my time for something else.