2024-04-15 19:26:25 -04:00
|
|
|
?(?-) (This example demonstrates how to implement combinatory calculus.)
|
2024-04-15 17:59:48 -04:00
|
|
|
|
2024-04-15 17:32:55 -04:00
|
|
|
<> (M ?x) (?x ?x)
|
|
|
|
|
<> (KI ?x ?y) (?y)
|
|
|
|
|
<> (T ?x ?y) (?y ?y)
|
|
|
|
|
<> (W ?x ?y) (?x ?y ?y)
|
|
|
|
|
<> (K ?x ?y) (?x)
|
|
|
|
|
<> (C ?x ?y ?z) (?x ?z ?y)
|
|
|
|
|
<> (B ?x ?y ?z) (?x (?y ?z))
|
|
|
|
|
<> (I ?x) (?x)
|
|
|
|
|
<> (S ?x ?y ?z) (?x ?z (?y ?z))
|
2024-04-01 20:17:53 -04:00
|
|
|
|
2024-04-15 17:32:55 -04:00
|
|
|
C KI x y z
|
