From e8456ff880c5aa72171183e0b0043ca731a086fa Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 23 Feb 2023 14:25:27 +0100
Subject: Additions to standard library

Mainly new binary encoding and corresponding functions
---
 std/Combinator.bruijn | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'std/Combinator.bruijn')

diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn
index 4529853..9cafbce 100644
--- a/std/Combinator.bruijn
+++ b/std/Combinator.bruijn
@@ -115,6 +115,8 @@ o [[0 (1 0)]] ⧗ ((a → b) → a) → (a → b) → b
 # psi combinator: on
 ψ [[[[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: (f , g) x = g (f x)
 q [[[1 (2 0)]]] ⧗ (a → b) → (b → c) → a → c
 
-- 
cgit v1.2.3