diff options
author | the lemons <citrons@mondecitronne.com> | 2022-02-18 02:10:48 -0600 |
---|---|---|
committer | the lemons <citrons@mondecitronne.com> | 2022-02-18 02:10:48 -0600 |
commit | c3fddafa7e528d499204e9ee600bd90da49790e1 (patch) | |
tree | 559712d2c5b267a01357cba132e7797ec80a3940 | |
parent | 170a13d2fd7716fd92aca01ce2410c93abdb1390 (diff) |
tatemetns
-rw-r--r-- | readme.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 tatemetns 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 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. |