:lambda: Add K example, KI, and a few equivalences.

iglesias · May 28, 2024 · a9f2a6a · a9f2a6a
1 parent ac0116a
commit a9f2a6a
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/custom/lambda_calculus.py b/custom/lambda_calculus.py
@@ -12,4 +12,15 @@ def M(f):
 def K(a, b=None):
     return (lambda _: a) if b is None else a
 
+Konstant = K('onstant')
+# print(Konstant('what?'))
+
 assert K(I)('x')('y') == 'y'
+
+def KI(a, b=None):
+    return (lambda _: b) if a is None else b
+
+assert(K(M,KI) == K(M,K(I)) == M)
+assert(KI(M,K) == K(I)(M)(K) == K)
+assert(KI(K,M) == K(I)(K)(M) == M)
+