commit 98b1abb9dcea63c03263842ffce259ae7bfd2abd
parent 084994e2df4b197dbdd067333a7207c12eb8ec33
Author: James Eversole <james@eversole.co>
Date: Tue, 5 May 2026 10:02:23 -0500
Documentation updates
Diffstat:
1 file changed, 3 insertions(+), 24 deletions(-)
diff --git a/README.md b/README.md
@@ -2,22 +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 to provide a useful programming tool.
-
-*tricu is under active development and you should expect breaking changes with every commit.*
+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)`.
-## Features
+## Acknowledgements
-- Tree Calculus operator: `t`
-- Immutable definitions: `x = t t`
-- Lambda abstraction: `id = (a : a)`
-- List, Number, and String literals: `[(2) ("Hello")]`
-- Function application: `not (not false)`
-- Higher order/first-class functions: `map (a : append a "!") [("Hello")]`
-- Intensionality blurs the distinction between functions and data (see REPL examples)
-- Simple module system for code organization
+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
@@ -90,15 +81,3 @@ tricu decode [OPTIONS]
-f --file=FILE Optional input file path to attempt decoding.
Defaults to stdin.
```
-
-## Collaborating
-
-I am happy to accept issue reports, pull requests, or questions about tricu [via email](mailto:james@eversole.co).
-
-If you want to collaborate but don't want to email back-and-forth, please reach out via email once to let me know and I will provision a git.eversole.co account for you.
-
-## 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.
