about summary refs log tree commit diff stats
path: root/js
diff options
context:
space:
mode:
authorelioat <elioat@tilde.institute>2023-08-14 15:19:03 -0400
committerelioat <elioat@tilde.institute>2023-08-14 15:19:03 -0400
commit5d012c6c011a9dedf7d0a098e456206244eb5a0f (patch)
tree5325c594b16023b2d00d65f775cf16d239d0a731 /js
parent237280e36cdf7a22d1d622cc2aeee7ee875bea89 (diff)
downloadtour-5d012c6c011a9dedf7d0a098e456206244eb5a0f.tar.gz
*
Diffstat (limited to 'js')
-rw-r--r--js/combinators.js14
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