提交: a7b8dbad178781d7aae098c63cbce4942ccdca0e - cammy (git)

A categorical programming language

Commit MetaInfo

• 修订版: a7b8dbad178781d7aae098c63cbce4942ccdca0e (tree)
• 时间: 2021-11-13 14:38:58
• 作者: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Implement bounded unfolds.

更改概述

• add: hive/fun/apppair.cammy
• add: hive/nonempty/unfold.cammy

差异

--- /dev/null
+++ b/hive/fun/apppair.cammy
@@ -0,0 +1 @@
+(comp (pair @0 @1) fun/app)

--- /dev/null
+++ b/hive/nonempty/unfold.cammy
@@ -0,0 +1,7 @@
+(pr
+  (fun/name (pair fst (fun/const nil)))
+  (curry (comp
+    (pair fun/app (comp snd snd))
+    (pair
+      (fun/apppair snd (comp fst fst))
+      (comp fst cons)))))