wm: 3χ2

ref: 0708881729a01a5f39b592e66b55a949879ecfc4
dir: /sketchs/

View raw version
λ(true)1 ; true = 1
λ(false)0
λ(none)2
?(= true 1)(hello) ; print hello
λ(beta)β
(beta) ; prints β
beta ; trys to eval-print b, e, t, a
; ----------------------------------
; example 2
; ----------------------------------
(en)
{
	λ(speak)a
	λ(turth)b
	λ(lie)(!b)
	λ(not)!
	λ(s)∷
}

(fa)
{
	λ(بگو)a
	λ(حقیقت)b
	λ(دروغ)!b
	λ(نه)!
	λ(ها)∷
}

λ(string)→(en)(a b ! !b∷) ; string = speak turth not lies.
→(fa)(string) ; prints بگو حقیقت نه دروغها.