From 7a0a9374f888fddb0073c96a4532947ffd0b684b Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 1 Dec 2020 14:43:27 -0500 Subject: Add a few system functions to the spec --- docs/spec/index.html | 1 + 1 file changed, 1 insertion(+) (limited to 'docs/spec/index.html') diff --git a/docs/spec/index.html b/docs/spec/index.html index 017ab106..6d85d9bb 100644 --- a/docs/spec/index.html +++ b/docs/spec/index.html @@ -16,4 +16,5 @@
  • Evaluation semantics
  • Primitives (reference implementations)
  • Inferred properties (type, Undo, and Under)
  • +
  • System-provided values ()
  • -- cgit v1.2.3