From a16a24a80865fcd9b5957bb7f7937873c8bd46ce Mon Sep 17 00:00:00 2001 From: James Eversole Date: Thu, 30 Jan 2025 17:17:07 -0600 Subject: [PATCH] Replace placeholder xor? library function --- lib/base.tri | 15 ++++++++++----- tricu.cabal | 2 +- 2 files changed, 11 insertions(+), 6 deletions(-) diff --git a/lib/base.tri b/lib/base.tri index a1930ac..6a132b9 100644 --- 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 index 4c82450..ed98ad0 100644 --- 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