From 71653311cef09635a911dfa12b987d08acc37b68 Mon Sep 17 00:00:00 2001 From: James Eversole Date: Tue, 5 May 2026 10:02:23 -0500 Subject: [PATCH] Documentation updates --- README.md | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 6864c10..696bc79 100644 --- a/README.md +++ b/README.md @@ -2,17 +2,13 @@ ## Introduction -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 (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 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). - -[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. +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. ## REPL examples