From c36d963640ce100f76ae36169d296e4f27aa1ebd Mon Sep 17 00:00:00 2001 From: James Eversole Date: Thu, 29 May 2025 13:39:44 -0500 Subject: [PATCH] Update README to reflect completion of experiment --- README.md | 29 ++++++----------------------- 1 file changed, 6 insertions(+), 23 deletions(-) diff --git a/README.md b/README.md index c5d6d4f..6864c10 100644 --- a/README.md +++ b/README.md @@ -2,22 +2,17 @@ ## 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 (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. -*tricu is under active development and you should expect breaking changes with every commit.* +*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)`. -## 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). + +[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 @@ -90,15 +85,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.