我有一个任务，我必须为表达式定义别名，在其中一个指南中，我们被告知使用 setf 或列表列表来定义它们。更具体地说，我们需要为别名 ADD/SUCC/PRED/etc 分配它们的 lambda 演算值，例如 ---> (ADD := (λ mnf x. nf (mfx)))
这样，所以在任何给定的操作中用别名替换它们之后，我们就可以操作它们了。由于我没有找到任何克莱尔的解释，我也不知道如何使用 setf，如果你们中的任何人能给我一个提示，我会发现它真的很有帮助。
到目前为止，要更改我使用的条件值，如果任何符号等于我需要替换的单词，它就会这样做，但我似乎效率不高。