ref: 2cc19aff470db1c7074a536269cc51ca5d535a23
dir: /sketchs/
λ(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 بگو حقیقت نه دروغها.