• 2020 年 5 月 6 日
• 筆記

没有了with表达，with，exp，body的id换成exp的lambda函数，从而可以没有with来进行实现。即，{with {id exp} body}换成了{{fun {id} body} exp}。 FAE : Concrete syntax <FWAE> ::= <num> | {+ < &hellip;