From 1f7231153c172500f1073ddb22ec911379f83a07 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 6 Nov 2023 18:50:35 +0100
Subject: Improved wiki and reduced readme

---
 docs/wiki_src/coding/laziness.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'docs/wiki_src/coding/laziness.md')

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}).
-- 
cgit v1.2.3