tricu

commit a57689e0d9819550bc31c3c2b3f4ddb87445339a
parent 924d89fb40ab9dfef3672f4f4dad8cb4778ea5b6
Author: James Eversole <james@eversole.co>
Date:   Tue, 19 May 2026 20:24:44 -0500

Prelude and demo import cleanup

Diffstat:
M
demos/equality.tri
 | 
3
+--
M
demos/interactionTrees.tri
 | 
3
+--
M
demos/levelOrderTraversal.tri
 | 
3
+--
M
demos/runArboricxBundle.tri
 | 
3
+--
M
demos/size.tri
 | 
3
+--
M
demos/toSource.tri
 | 
3
+--
A
lib/prelude.tri
 | 
6
++++++

7 files changed, 12 insertions(+), 12 deletions(-)
diff --git a/demos/equality.tri b/demos/equality.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri" !Local
-!import "../lib/list.tri" !Local
+!import "../lib/prelude.tri" !Local
 
 main = lambdaEqualsTC
 
diff --git a/demos/interactionTrees.tri b/demos/interactionTrees.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri"      !Local
-!import "../lib/list.tri"      !Local
+!import "../lib/prelude.tri"   !Local
 !import "../lib/io.tri"        !Local
 
 -- Interaction Tree Effect Runtime
diff --git a/demos/levelOrderTraversal.tri b/demos/levelOrderTraversal.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri" Lib
-!import "../lib/list.tri" !Local
+!import "../lib/prelude.tri" !Local
 
 main = exampleTwo
 -- Level Order Traversal of a labelled binary tree
diff --git a/demos/runArboricxBundle.tri b/demos/runArboricxBundle.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri"      !Local
-!import "../lib/list.tri"      !Local
+!import "../lib/prelude.tri"   !Local
 !import "../lib/io.tri"        !Local
 !import "../lib/arboricx.tri"  !Local
 
diff --git a/demos/size.tri b/demos/size.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri" !Local
-!import "../lib/list.tri" !Local
+!import "../lib/prelude.tri" !Local
 
 main = size size
 
diff --git a/demos/toSource.tri b/demos/toSource.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri" !Local
-!import "../lib/list.tri" !Local
+!import "../lib/prelude.tri" !Local
 
 main = toSource not?
 -- Thanks to intensionality, we can inspect the structure of a given value
diff --git a/lib/prelude.tri b/lib/prelude.tri
@@ -0,0 +1,6 @@
+-- Standard tricu prelude.
+
+!import "base.tri"        !Local
+!import "list.tri"        !Local
+!import "bytes.tri"       !Local
+!import "conversions.tri" !Local