• R/O
  • HTTP
  • SSH
  • HTTPS

提交

标签
No Tags

Frequently used words (click to add to your profile)

javaandroidc++linuxc#windowsobjective-ccocoaqt誰得pythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

A categorical programming language


Commit MetaInfo

修订版b8dc673b6600143873c6c9c87f0e53979c09b7cd (tree)
时间2021-08-11 10:13:48
作者Corbin <cds@corb...>
CommiterCorbin

Log Message

Add some list-oriented programs.

更改概述

差异

--- /dev/null
+++ b/hive/list/len.cammy
@@ -0,0 +1 @@
1+(fold zero (comp snd succ))
--- /dev/null
+++ b/hive/list/range.cammy
@@ -0,0 +1 @@
1+(comp (pr (pair zero nil) (pair (comp fst succ) cons)) snd)