commit 2bca98515f2472ab88a242b06972a9dbb2a4b196
parent cf0e2378e717d23f37844536e72306532ae029e9
Author: James Eversole <james@eversole.co>
Date: Thu, 29 May 2025 13:31:21 -0500
Update README
Diffstat:
2 files changed, 7 insertions(+), 3 deletions(-)
diff --git a/README.md b/README.md
@@ -2,13 +2,17 @@
## Introduction
-tricu (pronounced "tree-shoe") is a programming language experiment in Haskell. It is fundamentally based on the application of [Triage Calculus](https://olydis.medium.com/a-visual-introduction-to-tree-calculus-2f4a34ceffc2), an extended form of [Tree Calculus](https://github.com/barry-jay-personal/typed_tree_calculus/blob/main/typed_program_analysis.pdf), terms, but minimal syntax sugar is included.
+tricu (pronounced "tree-shoe") is a purely functional interpreted language implemented in Haskell. It is fundamentally based on the application of [Tree Calculus](https://github.com/barry-jay-personal/typed_tree_calculus/blob/main/typed_program_analysis.pdf) terms, but minimal syntax sugar is included.
+
+*This experiment has concluded. tricu will see no further development or bugfixes.*
tricu is the word for "tree" in Lojban: `(x1) is a tree of species/cultivar (x2)`.
## Acknowledgements
-Tree Calculus was discovered by [Barry Jay](https://github.com/barry-jay-personal/blog). The addition of Triage rules were suggested by [Johannes Bader](https://johannes-bader.com/). Johannes is also the creator of [treecalcul.us](https://treecalcul.us) which has a great intuitive code playground using his language LambAda.
+Tree Calculus was discovered by [Barry Jay](https://github.com/barry-jay-personal/blog).
+
+[treecalcul.us](https://treecalcul.us) is an excellent website with an intuitive Tree Calculus code playground created by [Johannes Bader](https://johannes-bader.com/) that introduced me to Tree Calculus.
## REPL examples
diff --git a/tricu.cabal b/tricu.cabal
@@ -1,7 +1,7 @@
cabal-version: 1.12
name: tricu
-version: 0.20.0
+version: 1.0.0
description: A micro-language for exploring Tree Calculus
author: James Eversole
maintainer: james@eversole.co
