提交: 50431ae28415aa3be88bed333b8245341c4d1ce2 - cammy (git)

A categorical programming language

Commit MetaInfo

• 修訂: 50431ae28415aa3be88bed333b8245341c4d1ce2 (tree)
• 時間: 2023-02-21 03:33:29
• 作者: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Fix n-add, basically.

Change Summary

• modified: movelist/cammy-repl.scm

差異

--- a/movelist/cammy-repl.scm
+++ b/movelist/cammy-repl.scm
@@ -53,6 +53,7 @@
     [`(left ,x) `(left ,(build-µK-elt x))]
     [`(right ,x) `(right ,(build-µK-elt x))]
     [(? list? l) (map build-µK-elt l)]
+    [(x . y) (cons (build-µK-elt x) (build-µK-elt y))]
     ; 2
     [x x]))