From 5d759bfdf5d0700ff09f5eba9c4fafd2f39e80c1 Mon Sep 17 00:00:00 2001 From: Sigilante <57601680+sigilante@users.noreply.github.com> Date: Thu, 9 Oct 2025 09:40:56 -0500 Subject: [PATCH] Add reference to Nock combinator calculus documentary Added a reference to a documentary on the Nock combinator calculus. --- content/build-on-urbit/core-academy/ca00.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/content/build-on-urbit/core-academy/ca00.md b/content/build-on-urbit/core-academy/ca00.md index a11054ee..e9393047 100644 --- a/content/build-on-urbit/core-academy/ca00.md +++ b/content/build-on-urbit/core-academy/ca00.md @@ -75,6 +75,8 @@ Many aspects of Hoon's nature and Urbit's operating model are natural consequenc In this lesson, we will begin our study of the Urbit kernel by looking at the wellsprings of Urbit. Nock has evolved substantially; the earliest public record is Nock 13K. However, as of Nock 4K no further revisions are expected to be necessary and the system is very cold. +* [~lagrev-nocfep, ~sorreg-namtyv, (2025) "A Documentary History of the Nock Combinator Calculus", _Urbit Systems Technical Journal_ vol. 2, iss. 1](https://urbitsystems.tech/article/v02-i01/a-documentary-history-of-the-nock-combinator-calculus) + For clarity, this document will refer to rules with written-out numbers (Nock Four) and versions with Arabic digits (Nock 4K). It will also prefer the shorthand `s` for subject (instead of `a`) and `f`, `g`, etc. for formula (instead of `b`, `c`, etc.). * [Nock Definition](../../nock/definition.md)