From c208d37754ae81d9e67c80affa58c5ca8da95ee5 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 30 Jan 2022 21:41:33 -0500 Subject: Add partial documentation page on tacit programming (fixes #36) --- 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 3f4f624f..140b79b7 100644 --- a/docs/doc/identity.html +++ b/docs/doc/identity.html @@ -61,7 +61,7 @@

Here ⊢ ends up being used as 𝕎. A similar case might be a function or program with a caller-specified processing step. For example, a function to write some kind of file, with a parameter function to encrypt data before writing. To use no encryption, you'd pass a parameter ⊢. Or it might happen that you write a Choose (◶) expression where one of the cases should do nothing ⊢, or return the left argument ⊣.

In tacit functions

-

In a tacit context, ⊣ is roughly equivalent to 𝕨 and ⊢ to 𝕩. In some (not too common) cases, it's even possible to translate a block function to tacit code directly by replacing the variables in this way.

+

In a tacit context, ⊣ is roughly equivalent to 𝕨 and ⊢ to 𝕩. In some (not too common) cases, it's even possible to translate a block function to tacit code directly by replacing the variables in this way.

↗️
    3 {𝕩-𝕨÷1+𝕩} 5
 4.5
     3 (⊢-⊣÷1+⊢) 5
-- 
cgit v1.2.3