diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-30 21:41:33 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-30 21:42:35 -0500 |
| commit | c208d37754ae81d9e67c80affa58c5ca8da95ee5 (patch) | |
| tree | 3d8206cbc04a4bf61e81f382e1d57dedccc699a3 /doc/identity.md | |
| parent | eb2325923fcac6970f578b9f970b15a41ebabd1c (diff) | |
Add partial documentation page on tacit programming (fixes #36)
Diffstat (limited to 'doc/identity.md')
| -rw-r--r-- | doc/identity.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/identity.md b/doc/identity.md index fe9ad2e9..5876a885 100644 --- a/doc/identity.md +++ b/doc/identity.md @@ -44,7 +44,7 @@ Here `⊢` ends up being used as `𝕎`. A similar case might be a function or p ## 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](tacit.md) 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 3 (⊢-⊣÷1+⊢) 5 |