bernsteinbear.com
this repo has no description
1Z factr 5
2
3. S = x -> y -> z -> x -> z (y z)
4. K = x -> y -> x
5. I = x -> x
6
7. A = x -> y -> y
8. B = x -> y -> z -> x (y z)
9. C = x -> y -> z -> x z y
10. M = x -> x x
11. T = x -> y -> y x
12. W = x -> y -> x y y
13
14. Y = f -> (x -> f (x x)) (x -> f (x x))
15. Z = f -> (x -> f (v -> (x x) v)) (x -> f (v -> (x x) v))
16
17. factr = facti ->
18 | 0 -> 1
19 | n -> (mult n) (facti (n - 1))
20. mult = x -> y -> x * y