aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorthe lemons <citrons@mondecitronne.com>2022-02-18 02:11:34 -0600
committerthe lemons <citrons@mondecitronne.com>2022-02-18 02:11:34 -0600
commitf20636e2b26901498d301b4567b4c0bb5cfc6221 (patch)
tree0922ce10c87694073a219652d2781e6669db6c88
parentc3fddafa7e528d499204e9ee600bd90da49790e1 (diff)
makes
-rw-r--r--readme.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/readme.md b/readme.md
index e122f12..e081635 100644
--- a/readme.md
+++ b/readme.md
@@ -133,5 +133,5 @@ the amount of `x` which exist
## clarification: the meaning of `*_x`
the difference between `*_x` and `x` can be thought of like this: if `x` is "dog"/"dogs", then `*_x` is "some dogs" or "a dog". the difference becomes quite relevant when one performs definitions.
-if one makes the definition `X::=a`, then `X` is exactly the same thing as `a`. any usage of `X` would be identical to using `a`, which means that this definition wouldn't be very useful. instead, you can define `X` as an instance of `a` and then makes statements about it, for instance `X::=*_a i>:X` would mean that `X` is a specific something, and that something is something you did.
+if one makes the definition `X::=a`, then `X` is exactly the same thing as `a`. any usage of `X` would be identical to using `a`, which means that this definition wouldn't be very useful. instead, you can define `X` as an instance of `a` and then make statements about it, for instance `X::=*_a i>:X` would mean that `X` is a specific something, and that something is something you did.