From 14fdb741dceafcefa082a070fc8294022a378532 Mon Sep 17 00:00:00 2001 From: James Eversole Date: Sun, 29 Dec 2024 10:37:37 -0600 Subject: [PATCH] README clarifications --- README.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index f08be1c..69fa3ba 100644 --- a/README.md +++ b/README.md @@ -2,9 +2,7 @@ ## Introduction -tricu (pronounced like the words "tree-shoe" in English) is a language that [I'm](https://eversole.co) working on to investigate [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)`). This project was named "sapling" until I discovered the name is already being used for other (completely unrelated) programming language development projects. +tricu (pronounced like "tree-shoe" in English) is a purely functional interpreted language implemented in Haskell. [I'm](https://eversole.co) developing tricu to further research the possibilities offered by the various forms of [Tree Calculi](https://github.com/barry-jay-personal/typed_tree_calculus/blob/main/typed_program_analysis.pdf). tricu offers minimal syntax sugar yet manages to provide a complete, intuitive, and familiar programming environment. There is great power in simplicity. tricu offers: @@ -12,9 +10,11 @@ tricu offers minimal syntax sugar yet manages to provide a complete, intuitive, 1. Function definitions/assignments 1. Lambda abstractions eliminated to Tree Calculus forms 1. List, Number, and String literals -1. Parentheses intuitively grouping function application +1. Parentheses for grouping function application -These basic features move us cleanly out of the [turing tarpit](https://en.wikipedia.org/wiki/Turing_tarpit) territory that you may find yourself in if you try working only with the `t` operator. +These features move us cleanly out of the [turing tarpit](https://en.wikipedia.org/wiki/Turing_tarpit) territory that you may find yourself in if you try working only with the `t` operator. + +tricu is the word for "tree" in Lojban: `(x1) is a tree of species/cultivar (x2)`. This project was named "sapling" until I discovered the name is already being used for other (completely unrelated) programming language development projects. ## What does it look like?