aboutsummaryrefslogtreecommitdiff
path: root/help/identity_right.md
diff options
context:
space:
mode:
Diffstat (limited to 'help/identity_right.md')
-rw-r--r--help/identity_right.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/help/identity_right.md b/help/identity_right.md
index d81f3bc2..434d1a81 100644
--- a/help/identity_right.md
+++ b/help/identity_right.md
@@ -3,6 +3,7 @@
# Right Tack (`⊢`)
## `⊢ 𝕩`: Identity
+[→full documentation](../doc/identity.md)
Return `𝕩`.
@@ -11,6 +12,7 @@ Return `𝕩`.
## `𝕨 ⊢ 𝕩`: Right
+[→full documentation](../doc/identity.md)
Return `𝕩`.