ref: 2cc19aff470db1c7074a536269cc51ca5d535a23
author: mkf <mkf>
date: Sun Jun 11 17:09:14 EDT 2023
first ideas
--- /dev/null
+++ b/sketchs
@@ -1,0 +1,30 @@
+λ(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 بگو حقیقت نه دروغها.