Update combinators.csv

helvm · Jul 8, 2023 · 2a164ec · 2a164ec
1 parent 10ebcb1
commit 2a164ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)))`