From 723f2735dbd59f6000caecddccf321c8b03512fa Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 27 Jul 2021 22:28:33 -0400 Subject: Undo documentation --- docs/doc/identity.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/identity.html') diff --git a/docs/doc/identity.html b/docs/doc/identity.html index 196b219c..ec710ab6 100644 --- a/docs/doc/identity.html +++ b/docs/doc/identity.html @@ -19,7 +19,7 @@ "left"

Depending on your past experiences, this could cause some confusion: built-in support for functions that do nothing? Documentation should say why a feature's there and how to use it, not just what it does, so we'll try to address this below. The most important single use is for tacit programming, but there are a variety of other uses as well.

-

Of course, it's easy to write block functions {𝕩} and {𝕨} that return particular arguments. While I would already make ⊣ and ⊢ primitives just because they are common and important, there are also specific disadvantages to using blocks. They fail to indicate that there are no side effects, as primitives would, and they also need special casing for the interpreter to manipulate them when applying Undo (⁼) or making other inferences.

+

Of course, it's easy to write block functions {𝕩} and {𝕨} that return particular arguments. While I would already make ⊣ and ⊢ primitives just because they are common and important, there are also specific disadvantages to using blocks. They fail to indicate that there are no side effects, as primitives would, and they also need special casing for the interpreter to manipulate them when applying Undo (⁼) or making other inferences.

Filling arrays

What's the easiest way to create a matrix with 0 on the first row, 1 on the second, and so on? Probably this one, with table:

↗️
    (↕4) ⊣⌜ ↕5
-- 
cgit v1.2.3