Update README to reflect demo

.gitea/workflows/test-and-build.yml

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

README.md

@@ -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.
 
-## What does it look like?
+## REPL examples
 
 ```
 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 (t t)
 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 > "(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). 
 
-[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.