6 files changed, 157 insertions, 0 deletions
diff --git a/languages/j/.DS_Store b/languages/j/.DS_Store
new file mode 100644
index 0000000..8962031
--- /dev/null
+++ b/languages/j/.DS_Store
diff --git a/languages/j/javascript/README.md b/languages/j/javascript/README.md
new file mode 100644
index 0000000..1b35010
--- /dev/null
+++ b/languages/j/javascript/README.md
@@ -0,0 +1,3 @@
+Download NodeJS version 4 or above
+
+Run by lambda-core.js like this: `node lambda-core.js`
+\ No newline at end of file
diff --git a/languages/j/javascript/lambda-core.js b/languages/j/javascript/lambda-core.js
new file mode 100644
index 0000000..5b4d7c9
--- /dev/null
+++ b/languages/j/javascript/lambda-core.js
@@ -0,0 +1,55 @@
+// LOGIC
+const _true = x => y => x;
+const _false = x => y => y;
+const _not = b => b(_false)(_true)
+const _and = b1 => b2 => b1(b2)(_false)
+const _or = b1 => b2 => b1(_true)(b2)
+
+// CHURCH NUMERALS
+const _zero = f => x => x;
+const _succ = n => f => x => f(n(f)(x))
+const _pred = n => f => x => n(g => h => h(g(f)))(u => x)(a => a)
+const _one = _succ(_zero)
+
+// HELPERS - not pure lambda calculus
+const readBool = b => console.log(b("t")("f"))
+const readChurch = n => console.log(n(x => x+1)(0))
+
+// -------------------------------------------------
+
+// EXAMPLES
+console.log("LOGIC")
+console.log("---------------")
+console.log("TRUE/FALSE")
+readBool(_true) // t
+readBool(_false) // f
+
+console.log("NOT")
+readBool(_not(_true)) // f
+readBool(_not(_false)) // t
+
+console.log("AND")
+readBool(_and(_true)(_true)) // t
+readBool(_and(_true)(_false)) // f
+readBool(_and(_false)(_true)) // f
+readBool(_and(_false)(_false)) // f
+
+console.log("OR")
+readBool(_or(_true)(_true)) // t
+readBool(_or(_true)(_false)) // t
+readBool(_or(_false)(_true)) // t
+readBool(_or(_false)(_false)) // f
+
+console.log("\nCHURCH NUMERALS")
+console.log("---------------")
+console.log("ZERO/SUCC")
+readChurch(_zero) // 0
+readChurch(_one) // 1
+readChurch(_succ(_one)) // 2
+readChurch(_succ(_succ(_one))) // 3
+
+console.log("PRED")
+readChurch(_pred(_one)) // 0
+readChurch(_pred(_succ(_one))) // 1
+readChurch(_pred(_succ(_succ(_one)))) // 2
+
diff --git a/languages/r/.DS_Store b/languages/r/.DS_Store
new file mode 100644
index 0000000..a9e3c4b
--- /dev/null
+++ b/languages/r/.DS_Store
diff --git a/languages/r/racket/README.md b/languages/r/racket/README.md
new file mode 100644
index 0000000..9c04ccf
--- /dev/null
+++ b/languages/r/racket/README.md
@@ -0,0 +1,3 @@
+Download Racket version 6 or above
+
+Run by lambda-core.rkt like this: `racket lambda-core.rkt`
+\ No newline at end of file
diff --git a/languages/r/racket/lambda-core.rkt b/languages/r/racket/lambda-core.rkt
new file mode 100644
index 0000000..c9f695f
--- /dev/null
+++ b/languages/r/racket/lambda-core.rkt
@@ -0,0 +1,96 @@
+#lang racket
+
+; LOGIC
+(define _true 
+    (lambda (x) 
+        (lambda (y) x)))
+
+(define _false 
+    (lambda (x) 
+        (lambda (y) y)))
+
+(define _not
+    (lambda (b)
+        ((b _false) _true)))
+
+(define _and
+    (lambda (b1) 
+        (lambda (b2) 
+            ((b1 b2) _false))))
+
+(define _or
+    (lambda (b1)
+        (lambda (b2) 
+            ((b1 _true) b2))))
+
+
+; CHURCH NUMERALS
+(define _zero 
+    (lambda (f) 
+        (lambda (x) x)))
+
+(define _succ
+    (lambda (n)
+        (lambda (f)
+            (lambda (x) 
+                (f ((n f) x))))))
+
+(define _pred
+    (lambda (n)
+        (lambda (f)
+            (lambda (x)
+                (((n (lambda (g)
+                        (lambda (h) (h (g f)))))
+                    (lambda (u) x))
+                 (lambda (a) a))))))
+
+(define _one (_succ _zero))
+
+
+; HELPERS - not pure lambda calculus
+(define read-bool
+    (lambda (b)
+        (displayln ((b "t") "f"))))
+
+(define read-church
+    (lambda (n)
+        (displayln ((n (lambda (x) (+ x 1))) 0))))
+
+; -------------------------------------------------
+
+; EXAMPLES
+(displayln "LOGIC")
+(displayln "--------------")
+(displayln "TRUE/FALSE")
+(read-bool _true) ; t
+(read-bool _false) ; f
+
+(displayln "NOT")
+(read-bool (_not _true)) ; f
+(read-bool (_not _false)) ; t
+
+(displayln "AND")
+(read-bool ((_and _true) _true)) ; t
+(read-bool ((_and _true) _false)) ; f
+(read-bool ((_and _false) _true)) ; f
+(read-bool ((_and _false) _false)) ; f
+
+(displayln "OR")
+(read-bool ((_or _true) _true)) ; t
+(read-bool ((_or _true) _false)) ; t
+(read-bool ((_or _false) _true)) ; t
+(read-bool ((_or _false) _false)) ; f
+
+(displayln "\nCHURCH NUMERALS")
+(displayln "--------------")
+(displayln "ZERO/SUCC")
+(read-church _zero) ; 0
+(read-church (_succ _zero)) ; 1
+(read-church (_succ (_succ _zero))) ; 2
+(read-church (_succ (_succ (_succ _zero)))) ; 3
+
+(displayln "PRED")
+(read-church (_pred _one)) ; 0
+(read-church (_pred (_succ _one))) ; 1
+(read-church (_pred (_succ (_succ _one)))) ; 2
+