diff options
Diffstat (limited to 'docs/wiki_src/coding/laziness.md')
| -rw-r--r-- | docs/wiki_src/coding/laziness.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/wiki_src/coding/laziness.md b/docs/wiki_src/coding/laziness.md index feec480..20d1205 100644 --- a/docs/wiki_src/coding/laziness.md +++ b/docs/wiki_src/coding/laziness.md @@ -45,8 +45,8 @@ example: :time ((+10) ** (+500)) =? (+400) ``` -This works because a ternary number is just a list of trits which (in -this case) gets recursively generated by the `pow`{.bruijn} function. -The `eq?`{.bruijn} function just throws away the first argument if it's -already clear that the numbers can't be equal (in this case after the -first argument got bigger than `(+400)`{.bruijn}). +This works because a ternary number is just a concatenation of trits +which (in this case) gets recursively generated by the `pow`{.bruijn} +function. The `eq?`{.bruijn} function just throws away the first +argument if it's already clear that the numbers can't be equal (in this +case after the first argument got bigger than `(+400)`{.bruijn}). |