commit 32011e21bbf1acb4e87edc432beb08ffe60021e8 parent 04f04975f47e852b367ee531ea2dc3ccb67ff59d Author: James Eversole <james@eversole.co> Date: Thu, 30 Jan 2025 17:17:07 -0600 Replace placeholder xor? library function Diffstat:
| M | lib/base.tri | | | 15 | ++++++++++----- |
| M | tricu.cabal | | | 2 | +- |
2 files changed, 11 insertions(+), 6 deletions(-)
diff --git a/lib/base.tri b/lib/base.tri @@ -38,11 +38,16 @@ head = matchList t (\head _ : head) tail = matchList t (\_ tail : tail) or? = (\x y : - matchBool - (matchBool (t t) (t t) y) - (matchBool (t t) 0 y) - x) -xor? = matchBool id not? + matchBool + (matchBool (t t) (t t) y) + (matchBool (t t) t y) + x) + +xor? = (\x y : + matchBool + (matchBool t (t t) y) + (matchBool (t t) t y) + x) append = y (\self : matchList (\k : k) diff --git a/tricu.cabal b/tricu.cabal @@ -1,7 +1,7 @@ cabal-version: 1.12 name: tricu -version: 0.13.0 +version: 0.13.2 description: A micro-language for exploring Tree Calculus author: James Eversole maintainer: james@eversole.co