We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c6a4d74 commit 8170146Copy full SHA for 8170146
tests/basics-binary-scott/solution.txt
@@ -12,7 +12,7 @@ S = \ f g x . f x (g x)
12
T = \ x f . f x
13
V = \ x y f . f x y
14
W = \ f x . f x x
15
-Y = \ f . ( \ x . f (x x) ) ( \ x . f (x x) )
+Y = \ f . ( \ x . f (x x) ) ( \ x . f (x x) )
16
Z = \ f . ( \ x . f \ y . x x y ) ( \ x . f \ y . x x y )
17
18
#import Boolean.lc
tests/basics-church/solution.txt
#import ChurchBoolean.lc
0 commit comments