wm: 3χ2

ref: 0708881729a01a5f39b592e66b55a949879ecfc4
dir: /sketchs2/

; 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