James/tricu
2
2
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Update README to reflect demo
Some checks failed
Test, Build, and Release / test (push) Successful in 1m55s
Details
Test, Build, and Release / build (push) Failing after 1m56s
Details

Browse Source
This commit is contained in:
James Eversole 2025-01-23 17:31:30 -06:00
parent 739851c864
commit 5541eae7bd
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.gitea/workflows/test-and-build.yml
View File

@ -71,9 +71,9 @@ jobs:
- name: Build and shrink binary - name: Build and shrink binary
run: | run: |
nix build nix build
cp -L ./result/bin/tricu /tmp cp -L ./result/bin/tricu ./tricu
chmod 755 /tmp/tricu chmod 755 /tmp/tricu
nix develop --command upx /tmp/tricu nix develop --command upx ./tricu
- name: Setup go for release action - name: Setup go for release action
uses: actions/setup-go@v5 uses: actions/setup-go@v5
@ -84,6 +84,6 @@ jobs:
uses: https://gitea.com/actions/release-action@main uses: https://gitea.com/actions/release-action@main
with: with:
files: |- files: |-
/tmp/tricu ./tricu
api_key: '${{ secrets.RELEASE_TOKEN }}' api_key: '${{ secrets.RELEASE_TOKEN }}'
pre_release: true pre_release: true

6
README.md
View File

@ -16,7 +16,7 @@ These features move us cleanly out of the [turing tarpit](https://en.wikipedia.o
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 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? ## REPL examples
``` ```
tricu < -- Anything after `--` on a single line is a comment tricu < -- Anything after `--` on a single line is a comment
@ -31,7 +31,7 @@ tricu < triage = (\a b c : t (t a b) c)
tricu < test = triage "Leaf" (\z : "Stem") (\a b : "Fork") tricu < test = triage "Leaf" (\z : "Stem") (\a b : "Fork")
tricu < test (t t) tricu < test (t t)
tricu > "Stem" tricu > "Stem"
tricu < -- We can even write a function to convert a term back to source code tricu < -- We can even convert a term back to source code (/demos/toSource.tri)
tricu < toSource not? tricu < toSource not?
tricu > "(t (t (t t) (t t t)) (t t (t t t)))" tricu > "(t (t (t t) (t t t)) (t t (t t t)))"
``` ```
@ -79,4 +79,4 @@ tricu decode [OPTIONS]
Tree Calculus was discovered by [Barry Jay](https://github.com/barry-jay-personal/blog). 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 playground created by [Johannes Bader](https://johannes-bader.com/) that introduced me to Tree Calculus. If tricu sounds interesting but compiling this repo sounds like a hassle, you should check out his site. [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.