LiFtEr: simultaneous induction with the and keyword for mutual recursion and nested recursion.

data61 / PSL

Other

65 stars 9 forks source link

Closed yutakang closed 3 years ago

yutakang commented 5 years ago

We should be able to discuss the use of the and keyword in LiFtEr.

yutakang commented 3 years ago

LiFtEr got replaced with SeLFiE.