diff options
| -rw-r--r-- | js/combinators.js | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/js/combinators.js b/js/combinators.js index d0de2e7..34f4698 100644 --- a/js/combinators.js +++ b/js/combinators.js @@ -1,16 +1,16 @@ /* identity I a → a constant K a → b → a -apply A (a → b) → a → b +apply A (a → b) → a → b thrush T a → (a → b) → b -duplication W (a → a → b) → a → b -flip C (a → b → c) → b → a → c +duplication W (a → a → b) → a → b +flip C (a → b → c) → b → a → c compose B (b → c) → (a → b) → a → c -substitution S (a → b → c) → (a → b) → a → c -chain S_³ (a → b → c) → (b → a) → b → c +substitution S (a → b → c) → (a → b) → a → c +chain S_³ (a → b → c) → (b → a) → b → c converge S2³ (b → c → d) → (a → b) → (a → c) → a → d -psi P (b → b → c) → (a → b) → a → a → c -fix-point4 Y (a → a) → a +psi P (b → b → c) → (a → b) → a → a → c +fix-point4 Y (a → a) → a */ const I = x => x |