153
个编辑
无编辑摘要
Lambda.cat（讨论 | 贡献） 无编辑摘要 |
Lambda.cat（讨论 | 贡献） 无编辑摘要 |
||
| 第238行： | 第238行： | ||
</syntaxhighlight> | </syntaxhighlight> | ||
※ 注意 timer 和 later 會將 "非 lambda 的 expression" lift 成一個 lambda。 | ※ 注意 timer 和 later 會將 "非 lambda 的 expression" lift 成一個 lambda expression，然後時間到了再 eval 他 。 | ||
一些功能實作： | 一些功能實作： | ||