diff options
author | elioat <elioat@tilde.institute> | 2023-08-14 15:10:59 -0400 |
---|---|---|
committer | elioat <elioat@tilde.institute> | 2023-08-14 15:10:59 -0400 |
commit | 237280e36cdf7a22d1d622cc2aeee7ee875bea89 (patch) | |
tree | 196638109d77bf645a7d8ef912c89b5802d77aea /js | |
parent | 09e4cd174f11eb6c4a7cfa108296d084f4ec4abf (diff) | |
download | tour-237280e36cdf7a22d1d622cc2aeee7ee875bea89.tar.gz |
*
Diffstat (limited to 'js')
-rw-r--r-- | js/combinators.js | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/js/combinators.js b/js/combinators.js index 98ba205..d0de2e7 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 -thrush T a → (a → b) → b -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 -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 +identity I a → a +constant K a → b → a +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 +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 +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 */ const I = x => x |