search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: Should we introduce multi-arity function calls as syntactic sugar? #118

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

If we introduce it after we build the surface language, there is no need to do it twice: once for the outer layer and once for the inner layer.

yutakang commented 4 years ago

I guess, I can leave it as it is now.