commit 357928f0ceefb2639500ddbe217dfa39f46662ed parent 4f1cf45106066360375c9ae44e02666c46292efe Author: James Eversole <james@eversole.co> Date: Wed, 23 Sep 2026 16:36:30 -0500 Documentation cleanup Diffstat:
| M | README.md | | | 8 | ++------ |
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/README.md b/README.md @@ -2,15 +2,11 @@ ## Introduction -tricu (pronounced "tree-shoe") is an experimental programming language written 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). I refer to this "family" of calculi as TC below. +tricu (pronounced "tree-shoe") is an experimental programming language written 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). tricu is the word for "tree" in Lojban: `(x1) is a tree of species/cultivar (x2)`. -In the `ext/` directory there are implementations of TC evaluators and tooling in other languages. Here be dragons; beware. - -While my original implementation was hand-written, I have since fully embraced the slopmachine for this project. Nothing is stable or sacred. We will discover sanity at the end of the journey but we won't strive for it until then. The `main` branch will see my latest thoughts and experiments. Emphasis on "AUTHOR DISCLAIMS ALL WARRANTIES" from the LICENSE. - -This README.md is 100% human written. No other .md file will be until stabilization. +In the `ext/` directory there are implementations of Tree Calculus evaluators languages besides Haskell. Here be dragons; beware. ## Acknowledgements