From 2a164ecc3b6bc6d8c9cc5c2a81585ef7574b8d2d Mon Sep 17 00:00:00 2001 From: Kamil Adam Date: Sat, 8 Jul 2023 11:36:06 +0200 Subject: [PATCH] Update combinators.csv --- _data/combinators.csv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_data/combinators.csv b/_data/combinators.csv index 2eeece7..8b83502 100644 --- a/_data/combinators.csv +++ b/_data/combinators.csv @@ -16,4 +16,4 @@ Name,Implementation,Monomorphic type,Haskell,Polymorphic type,Haskell,Arity,Bird ,,,,,,,Owl,O,`SI`,`(S((SK)K))` ,,,,,,,Mockingbird,M,`SII`,`((S((SK)K))((SK)K))` ,,,,,,,Omega,Ω,`MM`,`(((S((SK)K))((SK)K))((S((SK)K))((SK)K)))` -,,,,,,,Dove,D,`BB`,`(S(K((S(KS))K)))` +,,`\f x g y -> f x (g y)`,`(a -> d -> c) -> a -> (b -> d) -> b -> c`,,,,Dove,D,`BB`,`(S(K((S(KS))K)))`