dotnetCarpenter · August 16, 2021 11:51
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 S_ = f => g => x => f (g (x)) (x)
 const S2 = f => g => h => x => f (g (x)) (h (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`	`I`¹	`(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`²	`(a → b → c) → (a → b) → a → c`
chain	S_³	`(=<<)`²	`chain`²	`chain`²	`(a → b → c) → (b → a) → b → c`
converge	S2³	`apply2way`, `liftA2`², `liftM2`²		`lift2`²	`(b → c → d) → (a → b) → (a → c) → a → d`
psi	P	`on`		`on`	`(b → b → c) → (a → b) → a → a → c`
fix-point⁴	Y	`fix`			`(a → a) → a`