aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Combinator.bruijn
diff options
context:
space:
mode:
authorMarvin Borner2022-08-29 16:45:45 +0200
committerMarvin Borner2022-08-29 16:45:45 +0200
commit627afd9bb206765699f3420a6ab0847e636550b4 (patch)
tree0cc5c458bb68348ad25aa8c69f6b7ce3d36b6f35 /std/Combinator.bruijn
parent2cc4d5bb3c473bd1bb5dc87f58feacb6772a22fe (diff)
Started mixfix chaining
Diffstat (limited to 'std/Combinator.bruijn')
-rw-r--r--std/Combinator.bruijn16
1 files changed, 8 insertions, 8 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn
index 4e11708..ceb9c48 100644
--- a/std/Combinator.bruijn
+++ b/std/Combinator.bruijn
@@ -5,22 +5,22 @@
# apply combinator
a [[1 0]]
-($) a
+…$… a
# bluebird combinator: function composition: (f . g) x = f (g x)
b [[[2 (1 0)]]]
-(.) b
+….… b
# blackbird combinator: 2x function composition: (f .. g) x y = f (g x y)
b' [[[[3 (2 1 0)]]]]
-(..) b'
+…..… b'
# bunting combinator: 3x function composition: (f ... g) x y z = f (g x y z)
b'' [[[[[4 (3 2 1 0)]]]]]
-(...) b''
+…...… b''
# becard combinator
b''' [[[[3 (2 (1 0))]]]]
@@ -28,7 +28,7 @@ b''' [[[[3 (2 (1 0))]]]]
# cardinal combinator: reverse arguments: \f x y = f y z
c [[[2 0 1]]]
-\( c
+\‣ c
# cardinal once removed combinator
c* [[[[3 2 0 1]]]]
@@ -119,7 +119,7 @@ o [[0 (1 0)]]
# queer combinator: reverse function composition: (f , g) x = g (f x)
q [[[1 (2 0)]]]
-(,) q
+…,… q
# quixotic bird combinator
q' [[[2 (0 1)]]]
@@ -145,12 +145,12 @@ r** [[[[[4 3 1 0 2]]]]]
# starling combinator: (f <*> g) x = f x (g x)
s [[[2 0 (1 0)]]]
-(<*>) s
+…<*>… s
# thrush combinator: flipped $
t [[0 1]]
-(&) t
+…&… t
# turing combinator
u [[0 (1 1 0)]]