ref: 0e13031ea697df5cf439946484da24f991f75e41
parent: 78d7951d1554fefd4246032822ab79be9a4be13f
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Thu Sep 21 20:07:51 EDT 2023
More possible combinators
--- a/src/MicroHs/Exp.hs
+++ b/src/MicroHs/Exp.hs
@@ -472,3 +472,18 @@
--
-- B' :: (a -> b -> c) -> a -> (d -> b) -> d -> c
-- B' k f g x = k f (g x)
+--
+-- Common:
+-- 817: C' B
+-- 616: B BK
+-- 531: C' C
+-- 352: BK K
+-- 305: C' S
+--
+-- BBK = B BK
+-- BBK x y z w = B BK x y z w = BK (x y) z w = x y z
+--
+-- C'C = C' C
+-- C'C x y z w = C' C x y z w = C (x z) y w = x z w y
+
+
--
⑨