- Vancouver, Canada
- https://toki.la
-
I write Scheme, Lean, and Rust. Interested in most things.
-
Joined on
2025年07月26日
5a087dc750
initial wiki build script
2e52ee3b34
initial wiki build script
be0fefc69b
initial wiki build script
fd8fb1369a
initial commit
a5d3c7d6a8
Update to 0.3.1
ba1bd1dd0e
Include referenced example SVGs
ad074e2669
Update to 0.3.1
75222614c1
Add movement examples with the larrow package
80e03526a9
Properly parse head nodes of subtrees in list syntax
51a64999a7
Add movement examples with the larrow package
e2e1f265e7
Properly parse head nodes of subtrees in list syntax
c180e6fccb
Reimplement upon content blocks rather than strings and add a list notation (#17)
b6a7df166e
Update README
5244678232
docs: update README
5c53459926
docs: regenerate pdf
e119b6ee63
docs: various minor and major wording tweaks
62ea732523
bugfix: remove example from overall heading state
68d11a317e
docs: typos and minor wording tweaks
e538a99d60
Update version to 0.3.0
a9a6fa1fbf
Add tests for list trees
82cbfee62d
Implement support for styling terminal/nonterminal nodes in list trees
0cd2ae9577
Implement a list-based DSL for syntax trees
8f7919a046
Add tests for pathological syntree cases