about summary refs log tree commit diff stats
path: root/js
diff options
context:
space:
mode:
authorelioat <elioat@tilde.institute>2023-08-14 15:10:59 -0400
committerelioat <elioat@tilde.institute>2023-08-14 15:10:59 -0400
commit237280e36cdf7a22d1d622cc2aeee7ee875bea89 (patch)
tree196638109d77bf645a7d8ef912c89b5802d77aea /js
parent09e4cd174f11eb6c4a7cfa108296d084f4ec4abf (diff)
downloadtour-237280e36cdf7a22d1d622cc2aeee7ee875bea89.tar.gz
*
Diffstat (limited to 'js')
-rw-r--r--js/combinators.js24
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