From 0c3b464d3c73fcd1a6fde3f2f5882eddd5c79685 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Tue, 6 Aug 2024 01:53:19 +0200 Subject: Complex updates --- 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 470c574..452ebfb 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -77,6 +77,8 @@ i* [[1 0]] ⧗ (a → b) → a → b …$… i* +$‣ i* + # idiot twice removed combinator i** [[[2 1 0]]] ⧗ (a → b → c) → a → b → c -- cgit v1.2.3