ref: 0708881729a01a5f39b592e66b55a949879ecfc4
parent: 2cc19aff470db1c7074a536269cc51ca5d535a23
author: mkf <mkf@d510>
date: Thu Jun 15 15:33:07 EDT 2023
more sketchs
--- /dev/null
+++ b/sketchs2
@@ -1,0 +1,58 @@
+; machine defined ?, ¦, cdr, car, λ, Λ
+; algo.χ
+λ∑ ; for
+{+ ?((a) ; cond
+ (β) ; iterator
+ (γ)) ; body
+}
+λ∑ ; while
+{+ ?((a)
+ (β))
+}
+
+; math.χ
+↓«algo.χ»
+
+λbin
+{+ λ1 ¦
+ λ0 (-- 1)
+}
+
+λoct
+{+ base2
+
+ λ2 (++ 1)
+ λ3 (++ 2)
+ λ4 (++ 3)
+ λ5 (++ 4)
+ λ6 (++ 5)
+ λ7 (++ 6)
+}
+
+λdec
+{+ base8
+
+ λ8 (++ 7)
+ λ9 (++ 8)
+}
+
+λ- (while (< 0 α) ((-- α)) (- α β))
+
+; why not (- α 0)? because we might not be using numericals here
+λ- (- α (- α α))
+
+λ+ (- (-α) (- β))
+; no need for single argument +, what would it do after all?
+
+λ* (while (< 0 α) (-- α) (+ β (* β))
+λ^ (while (< 0 α) (-- a) (* β (^ β))
+
+; repl
+; מעל הנדסה בזה הטוב ביותר
+; πάνω από τη μηχανική σε αυτό το καλύτερο
+; super ipsum ad eam maxime