From 46cc8f5b0da07d8c7cb354c7b7a281b8d0f3d7bf Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 2 Mar 2024 16:13:20 +0100
Subject: Several additions to std

Some weren't committed for a year!
---
 std/Combinator.bruijn | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'std/Combinator.bruijn')

diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn
index 7199c77..470c574 100644
--- a/std/Combinator.bruijn
+++ b/std/Combinator.bruijn
@@ -118,9 +118,11 @@ o [[0 (1 0)]] ⧗ ((a → b) → a) → (a → b) → b
 # alternative name: starling prime: s'
 φ [[[[3 (2 0) (1 0)]]]] ⧗ (b → c → d) → (a → b) → (a → c) → a → d
 
-# psi combinator: on
+# psi combinator: on, (f ⋔ g) x y = f (g x) (g y)
 ψ [[[[3 (2 1) (2 0)]]]] ⧗ (b → b → c) → (a → b) → a → a → c
 
+…⋔… ψ
+
 ψ* [[[[[4 3 (2 1) (2 0)]]]]] ⧗ (c → b → b → d) → c → (a → b) → a → a → d
 
 # queer bird combinator: reverse function composition
-- 
cgit v1.2.3