lobrien · March 27, 2019 19:11
diff --git a/combinators.js b/combinators.js
 const I = x => x;
 const K = x => y => x;
 const A = f => x => f(x);
 const T = x => f => f(x);
 const W = f => x => f(x)(x);
 const C = f => y => x => f(x)(y);
 const B = f => g => x => f(g(x));
 const S = f => g => x => f(x)(g(x));
 const P = f => g => x => y => f(g(x))(g(y));
 const Y = f => (g => g(g))(g => f(x => g(g)(x)));
diff --git a/combinators.md b/combinators.md
diff --git a/references.md b/references.md
Name	#	Haskell	Ramda	Sanctuary	Signature
identity	I	`id`	`identity`	`I`	`a → a`
constant	K	`const`	`always`	`K`	`a → b → a`
apply¹	A	`($)`	`call`		`(a → b) → a → b`
thrush	T	`(&)`	`applyTo`	`T`	`a → (a → b) → b`
duplication	W	`join`²	`unnest`²	`join`²	`(a → a → b) → a → b`
flip	C	`flip`	`flip`	`flip`	`(a → b → c) → b → a → c`
compose	B	`(.)`, `fmap`²	`map`²	`compose`, `map`²	`(b → c) → (a → b) → a → c`
substitution	S	`ap`²	`ap`²	`ap`²	`(a → b → c) → (a → b) → a → c`
psi	P	`on`		`on`	`(b → b → c) → (a → b) → a → a → c`
fix-point³	Y	`fix`			`(a → a) → a`