From 2ff4b85fc73f0cf82034e2a19ea8c5d677812c9c Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Tue, 11 Jan 2022 23:31:05 +0000 Subject: =?UTF-8?q?Add=20=E2=8A=A3=20and=20=E2=8A=A2?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- functions.c | 28 ++++++++++++++++++++++++---- 1 file changed, 24 insertions(+), 4 deletions(-) (limited to 'functions.c') diff --git a/functions.c b/functions.c index 71e5400..cf5402a 100644 --- a/functions.c +++ b/functions.c @@ -22,8 +22,8 @@ fnmonad monadfunctiondefs[] = { 0, /* ⌊ */ 0, /* ⊥ */ 0, /* ⊤ */ - 0, /* ⊣ */ - 0, /* ⊢ */ + fnSame, /* ⊣ */ + fnSame, /* ⊢ */ 0, /* = */ 0, /* ≠ */ 0, /* ≤ */ @@ -77,8 +77,8 @@ fndyad dyadfunctiondefs[] = { 0, /* ⌊ */ 0, /* ⊥ */ 0, /* ⊤ */ - 0, /* ⊣ */ - 0, /* ⊢ */ + fnLeft, /* ⊣ */ + fnRight, /* ⊢ */ 0, /* = */ 0, /* ≠ */ 0, /* ≤ */ @@ -118,6 +118,12 @@ fndyad dyadfunctiondefs[] = { /* Monadic functions */ +Array * +fnSame(Array *right) +{ + return right; +} + Array * fnTally(Array *right) { @@ -167,6 +173,20 @@ fnShape(Array *right) /* Dyadic functions */ +Array * +fnLeft(Array *left, Array *right) +{ + USED(right); + return left; +} + +Array * +fnRight(Array *left, Array *right) +{ + USED(left); + return right; +} + Array * fnCatenateFirst(Array *left, Array *right) { -- cgit v1.2.3