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 8170146 commit 7c8a6f7Copy full SHA for 7c8a6f7
tests/prime-sieve/solution.txt
@@ -15,7 +15,7 @@ S = \ f g x . f x (g x)
15
T = \ x f . f x
16
V = \ x y f . f x y
17
W = \ f x . f x x
18
-Y = \ f . ( \ x . f (x x) ) ( \ x . f (x x) )
+Y = \ f . ( \ x . f (x x) ) ( \ x . f (x x) )
19
Z = \ f . ( \ x . f \ y . x x y ) ( \ x . f \ y . x x y )
20
21
#import Ordering.lc
0 commit comments