| -rw-r--r-- | .gitignore | 14L |
| -rw-r--r-- | AGENTS.md | 77L |
| -rw-r--r-- | LICENSE | 7L |
| -rw-r--r-- | README.md | 85L |
| -rw-r--r-- | bench/ApplyStats.hs | 240L |
| -rw-r--r-- | bench/Bench.hs | 64L |
| -rw-r--r-- | demos/contractBasics.tri | 25L |
| -rw-r--r-- | demos/contractEffects.tri | 64L |
| -rw-r--r-- | demos/equality.tri | 36L |
| -rw-r--r-- | demos/interactionTrees.tri | 57L |
| -rw-r--r-- | demos/interactionTrees/arboricxServer.tri | 22L |
| -rw-r--r-- | demos/interactionTrees/echoServer.tri | 28L |
| -rw-r--r-- | demos/interactionTrees/environment.tri | 19L |
| -rw-r--r-- | demos/interactionTrees/forkAwait.tri | 17L |
| -rw-r--r-- | demos/interactionTrees/getLineAsync.tri | 26L |
| -rw-r--r-- | demos/interactionTrees/greet.tri | 9L |
| -rw-r--r-- | demos/interactionTrees/httpServer.tri | 16L |
| -rw-r--r-- | demos/interactionTrees/safeRead.tri | 15L |
| -rw-r--r-- | demos/interactionTrees/shout.tri | 22L |
| -rw-r--r-- | demos/interactionTrees/state.tri | 21L |
| -rw-r--r-- | demos/interactionTrees/writeThenRead.tri | 19L |
| -rw-r--r-- | demos/interactionTrees/yield.tri | 32L |
| -rw-r--r-- | demos/levelOrderTraversal.tri | 63L |
| -rw-r--r-- | demos/patternMatching.tri | 37L |
| -rw-r--r-- | demos/runArboricxBundle.tri | 25L |
| -rw-r--r-- | demos/size.tri | 10L |
| -rw-r--r-- | demos/toSource.tri | 49L |
| -rw-r--r-- | docs/arboricx-bundle-format.md | 364L |
| -rw-r--r-- | docs/content-store-and-module-format.md | 549L |
| -rw-r--r-- | docs/contracts.md | 326L |
| -rw-r--r-- | docs/host-abi.md | 247L |
| -rw-r--r-- | docs/module-system-design.md | 500L |
| -rw-r--r-- | docs/self-hosted-arboricx-host.md | 483L |
| -rw-r--r-- | ext/js/.gitignore | 1L |
| -rw-r--r-- | ext/js/package-lock.json | 29L |
| -rw-r--r-- | ext/js/package.json | 20L |
| -rw-r--r-- | ext/js/src/cli.js | 104L |
| -rw-r--r-- | ext/js/src/lib.js | 224L |
| -rw-r--r-- | ext/js/test/bundle.test.js | 93L |
| -rw-r--r-- | ext/js/test/reduce.test.js | 113L |
| -rw-r--r-- | ext/js/test/run-bundle.test.js | 125L |
| -rw-r--r-- | ext/php/public/eval.php | 53L |
| -rw-r--r-- | ext/php/public/index.php | 30L |
| -rw-r--r-- | ext/php/run.php | 103L |
| -rw-r--r-- | ext/php/src/common.php | 81L |
| -rw-r--r-- | ext/php/src/ffi.php | 138L |
| -rw-r--r-- | ext/zig/.gitignore | 13L |
| -rw-r--r-- | ext/zig/build.zig | 71L |
| -rw-r--r-- | ext/zig/build.zig.zon | 13L |
| -rw-r--r-- | ext/zig/include/arboricx.h | 73L |
| -rw-r--r-- | ext/zig/kernel_run_arboricx_typed.dag | 2578L |
| l--------- | ext/zig/result | 1L |
| -rw-r--r-- | ext/zig/src/arena.zig | 36L |
| -rw-r--r-- | ext/zig/src/bundle.zig | 363L |
| -rw-r--r-- | ext/zig/src/c_abi.zig | 252L |
| -rw-r--r-- | ext/zig/src/codecs.zig | 205L |
| -rw-r--r-- | ext/zig/src/io_driver.zig | 845L |
| -rw-r--r-- | ext/zig/src/kernel.zig | 22L |
| -rw-r--r-- | ext/zig/src/main.zig | 261L |
| -rw-r--r-- | ext/zig/src/reduce.zig | 114L |
| -rw-r--r-- | ext/zig/src/ternary.zig | 27L |
| -rw-r--r-- | ext/zig/src/tree.zig | 191L |
| -rw-r--r-- | ext/zig/tests/c_abi_append_test.c | 86L |
| -rw-r--r-- | ext/zig/tests/c_abi_test.c | 119L |
| -rw-r--r-- | ext/zig/tests/io_protocol_test.c | 223L |
| -rw-r--r-- | ext/zig/tests/io_run_test.c | 217L |
| -rw-r--r-- | ext/zig/tests/native_bundle_append_test.c | 84L |
| -rw-r--r-- | ext/zig/tests/native_bundle_bools_test.c | 60L |
| -rw-r--r-- | ext/zig/tests/native_bundle_id_test.c | 60L |
| -rw-r--r-- | ext/zig/tests/python_ffi_test.py | 251L |
| -rw-r--r-- | ext/zig/tools/gen_kernel.zig | 92L |
| -rw-r--r-- | flake.lock | 60L |
| -rw-r--r-- | flake.nix | 312L |
| -rw-r--r-- | lib/arboricx/arboricx.tri | 158L |
| -rw-r--r-- | lib/arboricx/common.tri | 431L |
| -rw-r--r-- | lib/arboricx/dispatch.tri | 7L |
| -rw-r--r-- | lib/arboricx/manifest.tri | 346L |
| -rw-r--r-- | lib/arboricx/nodes.tri | 374L |
| -rw-r--r-- | lib/arboricx/server.tri | 206L |
| -rw-r--r-- | lib/base.tri | 922L |
| -rw-r--r-- | lib/binary.tri | 109L |
| -rw-r--r-- | lib/bytes.tri | 16L |
| -rw-r--r-- | lib/conversions.tri | 21L |
| -rw-r--r-- | lib/http.tri | 849L |
| -rw-r--r-- | lib/intensionalContracts.tri | 53L |
| -rw-r--r-- | lib/io.tri | 161L |
| -rw-r--r-- | lib/patterns.tri | 40L |
| -rw-r--r-- | lib/prelude.tri | 3L |
| -rw-r--r-- | lib/socket.tri | 82L |
| -rw-r--r-- | notes/contract-design.md | 328L |
| -rw-r--r-- | notes/php-cli-run-flags.md | 18L |
| -rw-r--r-- | notes/tricu-cli-debugging.md | 17L |
| -rw-r--r-- | notes/tricu-normalization-rules.md | 248L |
| -rw-r--r-- | src/ContentStore.hs | 13L |
| -rw-r--r-- | src/ContentStore/Alias.hs | 81L |
| -rw-r--r-- | src/ContentStore/Arboricx.hs | 94L |
| -rw-r--r-- | src/ContentStore/Bundle.hs | 37L |
| -rw-r--r-- | src/ContentStore/Filesystem.hs | 60L |
| -rw-r--r-- | src/ContentStore/Object.hs | 45L |
| -rw-r--r-- | src/ContentStore/Resolver.hs | 110L |
| -rw-r--r-- | src/Eval.hs | 624L |
| -rw-r--r-- | src/FileEval.hs | 238L |
| -rw-r--r-- | src/Frontend/ContractDesugar.hs | 118L |
| -rw-r--r-- | src/IODriver.hs | 1352L |
| -rw-r--r-- | src/Lexer.hs | 217L |
| -rw-r--r-- | src/Main.hs | 630L |
| -rw-r--r-- | src/Module/Manifest.hs | 129L |
| -rw-r--r-- | src/Module/Resolver.hs | 142L |
| -rw-r--r-- | src/Module/Workspace.hs | 66L |
| -rw-r--r-- | src/Parser.hs | 758L |
| -rw-r--r-- | src/REPL.hs | 260L |
| -rw-r--r-- | src/Research.hs | 379L |
| -rw-r--r-- | src/Wire.hs | 865L |
| -rw-r--r-- | test/Spec.hs | 4096L |
| -rw-r--r-- | test/comments-1.tri | 9L |
| -rw-r--r-- | test/fixtures/append.arboricx | 968B |
| -rw-r--r-- | test/fixtures/false.arboricx | 432B |
| -rw-r--r-- | test/fixtures/greet-io.aboricx | 1415B |
| -rw-r--r-- | test/fixtures/id.arboricx | 460B |
| -rw-r--r-- | test/fixtures/map.arboricx | 1079B |
| -rw-r--r-- | test/fixtures/notQ.arboricx | 492B |
| -rw-r--r-- | test/fixtures/runArboricxTyped.arboricx | 31015B |
| -rw-r--r-- | test/fixtures/size.arboricx | 1300B |
| -rw-r--r-- | test/fixtures/true.arboricx | 440B |
| -rw-r--r-- | test/fork.tri | 1L |
| -rw-r--r-- | test/map.tri | 2L |
| -rw-r--r-- | test/size.tri | 21L |
| -rw-r--r-- | test/string.tri | 1L |
| -rw-r--r-- | test/unresolved-A.tri | 1L |
| -rw-r--r-- | tricu-apps/arboricxServer.tri | 23L |
| -rw-r--r-- | tricu.cabal | 199L |
| -rw-r--r-- | tricu.workspace | 18L |
