Improved wiki and reduced readme

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}).