tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

DateCommit messageAuthorFiles+-
2026-09-23 21:36Documentation cleanupJames Eversole1+2-6
2026-09-09 13:26Fix arboricxServer import and demo import statementsJames Eversole11+12-11
2026-09-08 20:51Fix interaction tree demos and HTTP recv 4096James Eversole10+10-10
2026-09-01 13:50Contract system: merged base library, definition attachment, and runtime guard kernelJames Eversole32+1145-862
2026-08-31 20:24Begin removing view related code and docsJames Eversole59+1732-7693
2026-07-10 23:26Back out the worst of the unsound nonsenseJames Eversole9+152-1297
2026-07-08 15:27Explicit local bindings for let/whereJames Eversole6+60-6
2026-06-22 22:26Some REPL nicetiesJames Eversole3+184-30
2026-05-25 22:54Useful but limited polymorphismJames Eversole18+1781-130
2026-05-25 17:43Tricu 2.0.0James Eversole105+10156-1955
2026-05-22 23:23Ergonomic language features and lib cleanupJames Eversole17+1035-585
2026-05-21 22:09Fix HTTP body framing and eliminate request over-readJames Eversole1+116-49
2026-05-21 20:25Packaging: Fully static Haskell builds and webappJames Eversole6+96-55
2026-05-21 16:38Fully normalized top-level definitionsJames Eversole11+613-545
2026-05-20 20:52(: Aiche Tee Tee Pee :)James Eversole31+2984-1531
2026-05-20 01:24Prelude and demo import cleanupJames Eversole7+12-12
2026-05-20 01:04A bit of library clean-upJames Eversole4+16-318
2026-05-19 22:30Helpful library updatesJames Eversole11+1687-969
2026-05-19 22:00Event loop!James Eversole5+622-11
2026-05-18 23:28Strings for IO driver errorsJames Eversole6+69-102
2026-05-16 19:29Sane parser rewriteJames Eversole7+498-344
2026-05-16 14:33Several subtle IODriver bug fixesJames Eversole6+315-299
2026-05-16 02:41Interaction Trees in Zig and simple benchmarksJames Eversole17+2160-62
2026-05-14 00:39Update demos and adds <|James Eversole14+336-130
2026-05-13 16:02CPS IO -> Async Interaction Tree Effect RuntimeJames Eversole6+1969-121
2026-05-13 00:02Explicit filesystem permissions requiredJames Eversole5+151-44
2026-05-12 23:38Interaction Tree IOJames Eversole8+349-20
2026-05-12 00:53Arboricx bundle format 1.1James Eversole45+3996-7090
2026-05-11 20:29CLI rewriteJames Eversole8+441-330
2026-05-11 18:07Simple PHP web demoJames Eversole7+186-83
2026-05-11 14:18Use new FFI for Arborix in PHP hostJames Eversole8+298-599
2026-05-11 02:21Native Arboricx bundle parser and C ABI in ZigJames Eversole27+5365-18
2026-05-10 21:56Fix space leak by switching to objectsJames Eversole5+201-125
2026-05-10 19:52PHP host shell cleanup and docsJames Eversole4+103-431
2026-05-10 14:10Fix fuel implementation in PHPJames Eversole3+20-27
2026-05-10 01:22Initial PHP host implementationJames Eversole7+920-5
2026-05-09 23:36Tiny README updateJames Eversole1+5-27
2026-05-09 23:33Host ABI definition and ergonomics in TCJames Eversole4+540-50
2026-05-09 23:18Small host execution ergosJames Eversole4+510-26
2026-05-09 22:43Full Arboricx parsing in tricuJames Eversole7+1594-653
2026-05-09 17:30Drop CBOR for simple custom manifestJames Eversole13+936-860
2026-05-08 14:12Arborix -> Arboricx renameJames Eversole31+1259-1268
2026-05-08 02:41Switch manifest serialization to CBORJames Eversole23+994-281
2026-05-07 19:21Add Arborix bundle parsing and reconstructionJames Eversole11+1179-91
2026-05-07 17:28Add Arborix section directory byte readersJames Eversole2+177-0
2026-05-07 16:04Fix freeVars, toSKIDBJames Eversole2+35-220
2026-05-07 15:07Data-first recursive consumers in readBytesJames Eversole5+319-47
2026-05-07 13:15Idiomatic naming in libsJames Eversole3+16-16
2026-05-07 01:10Beginning Arborix work in tricuJames Eversole4+345-4
2026-05-07 00:23Tree-native binary processingJames Eversole2+82-0
2026-05-06 23:53Tree-native byte processingJames Eversole3+256-0
2026-05-06 22:25Byte marshallingJames Eversole2+153-0
2026-05-06 20:30Support multiple named exports globallyJames Eversole5+125-44
2026-05-06 19:40Drop slopdashes and add container buildJames Eversole3+35-6
2026-05-06 00:16Wire format, JS runtime, and Arborix bundle export serverJames Eversole29+3369-67
2026-05-05 23:30Zero Warnings PlanJames Eversole11+343-155
2026-05-05 19:51Picking development back upJames Eversole7+413-124
2025-08-07 20:16"size" function nodes down from 454 to 321James Eversole1+72-1
2026-05-05 17:43Full Merkle tree resolutionJames Eversole5+183-88
2025-05-29 18:31Update READMEJames Eversole2+7-3
2025-05-22 21:52Update README and !help; fix list and name lookupsJames Eversole5+37-23
2025-05-22 21:13Merge content storeJames Eversole13+1002-220
2026-05-05 15:02Documentation updatesJames Eversole1+3-24
2025-04-24 17:14Clean up and list SKI conversion fixJames Eversole6+141-81
2025-04-16 19:23Updates to demosJames Eversole7+61-39
2025-04-15 15:52String escaping using backslashJames Eversole3+33-8
2025-04-15 15:34Drop backslash from lambda definitionsJames Eversole16+181-183
2025-02-08 00:32REPL import cleanupJames Eversole3+10-13
2025-02-08 00:25Adds several new REPL utilitiesJames Eversole4+96-37
2025-02-07 21:04Smarter decoding of termsJames Eversole4+93-32
2025-02-07 18:37Lint cleanup and README updatesJames Eversole4+22-16
2025-02-06 14:32Clearer definition for applyJames Eversole3+36-27
2025-02-02 18:08Support for list literals in LambdasJames Eversole3+8-1
2025-02-02 16:50REPL namespaces; lib function for pattern matchingJames Eversole11+165-81
2025-01-30 23:56Caller-relative imports; smart deduping in importsJames Eversole19+183-205
2025-01-30 23:17Replace placeholder xor? library functionJames Eversole2+11-6
2025-01-30 20:19REPL import warning; version info in CLIJames Eversole11+142-61
2025-01-30 19:56Rework module systemJames Eversole34+222-243
2025-01-27 22:46Better handling of interrupts in REPLJames Eversole4+30-23
2025-01-27 22:28Don't require available library to run REPL or decoderJames Eversole2+3-5
2025-01-27 22:19Gracefully ignore no-op redefsJames Eversole1+16-16
2025-01-27 22:04Module system implementationJames Eversole28+373-105
2025-01-26 22:06Small dependency ordering optimizationsJames Eversole2+30-26
2025-01-26 21:33File eval mode now relies on main functionJames Eversole16+39-58
2025-01-26 20:50Definition dependency analysisJames Eversole10+174-86
2025-01-26 14:52Allow lambda expressions without explicit parenJames Eversole9+63-87
2025-01-25 21:12Add optimization cases for triage and compositionJames Eversole3+24-12
2025-01-25 15:18Eval optimization! Tests for demosJames Eversole6+70-45
2025-01-24 22:14Immutable definitions and documentation updatesJames Eversole6+137-32
2025-01-24 00:57Add size demoJames Eversole3+23-1
2025-01-23 23:59Remove Nix caching that can't work due to /nix/store permissionsJames Eversole1+0-20
2025-01-23 23:31Update README to reflect demoJames Eversole2+7-7
2025-01-23 23:13Minify and mark as pre-releaseJames Eversole2+11-7
2025-01-23 22:07Release 0.6.0James Eversole2+23-25
2025-01-23 21:46Some special characters in ids; new demosJames Eversole8+208-135
2025-01-21 22:58All paths for caching cabal included :)James Eversole1+12-10
2025-01-21 22:49Use runner 0.1.0James Eversole1+2-2
2025-01-21 22:28Update Cabal caching pathJames Eversole1+3-3
2025-01-21 22:16Drop unreachable cases of updateDepthJames Eversole2+5-9
2025-01-21 22:06Add more explicit error handling for mismatched groupingsJames Eversole2+56-34
2025-01-21 20:21Inline pattern matching in ParserJames Eversole2+46-52
2025-01-21 19:29CI/CD for tests and builds (broken caching)James Eversole1+86-0
2025-01-21 02:10Actually readable Level Order TraversalJames Eversole1+35-6
2025-01-21 01:20Allow multiline expressionsJames Eversole7+345-271
2025-01-20 22:05Eliminate redundant eager calls of elimLambdaJames Eversole1+5-8
2025-01-20 21:16Reduce duplication of elimLambda callsJames Eversole2+7-7
2025-01-19 20:41General refactor for legibilityJames Eversole6+127-171
2025-01-06 15:140.5.0 release commitJames Eversole2+1-9
2025-01-03 17:42Level Order Traversal demoJames Eversole2+40-0
2025-01-03 16:31Drop parseVarWithoutAssignmentJames Eversole4+12-17
2025-01-03 01:08Fix critical list evaluation bug and REPL updatesJames Eversole7+59-65
2025-01-02 01:40Use better default output form in evaluatorJames Eversole2+5-5
2025-01-02 01:32Clarify CLI optionsJames Eversole2+13-15
2025-01-02 01:27Support evaluation across multiple source filesJames Eversole1+26-35
2025-01-02 00:53Provide "library" via tricu file directlyJames Eversole7+80-64
2025-01-02 00:05Fixes identifier lexing; support REPL file loadingJames Eversole5+23-11
2025-01-01 14:34Normalize CLI options and help displayJames Eversole2+25-15
2025-01-01 14:17Rename "compiler" functionality to EvaluatorJames Eversole9+61-50
2024-12-31 16:09Latest --help in READMEJames Eversole1+3-2
2024-12-31 16:05Merge pull request 'Add "SimpleT" `t` output form' (#9) from feat/new-outputs into mainJames Eversole10+120-112
2024-12-31 16:04Merge branch 'main' into feat/new-outputsJames Eversole0+0-0
2024-12-31 16:00Add "SimpleT" `t` output formJames Eversole10+120-112
2024-12-30 20:24Merge pull request 'Expands CLI support with output forms and decoding' (#7) from feat/ternary-representation into mainJames Eversole14+176-60
2024-12-30 20:19Expands CLI support with output forms and decodingJames Eversole13+131-57
2024-12-30 14:30Initial ternary representation optionsJames Eversole4+45-3
2024-12-30 03:51Merge pull request 'Adds "compiler" and CLI argument handling' (#3) from feature/compiler-CLI into mainJames Eversole7+70-13
2024-12-30 03:49Adds "compiler" and CLI argument handlingJames Eversole7+70-13
2024-12-30 03:09Updates to testsJames Eversole1+5-10
2024-12-30 03:03Merge pull request 'Resolves issue with parsing comments' (#2) from fix/comments-0001 into mainJames Eversole7+82-69
2024-12-30 02:29Resolves issue with parsing commentsJames Eversole7+82-69
2024-12-29 18:22Additional testsJames Eversole4+17-7
2024-12-29 16:41README updates for run/buildJames Eversole1+4-2
2024-12-29 16:37README clarificationsJames Eversole1+5-5
2024-12-29 16:28Expansion of testing suite to cover incl. libraryJames Eversole5+118-46
2024-12-29 14:29Rename from sapling to tricuJames Eversole11+197-196
2024-12-29 04:20Further README clarificationJames Eversole1+24-20
2024-12-29 03:58README updatesJames Eversole1+4-6
2024-12-28 13:24Stop using to/of conventions backwardsJames Eversole5+33-33
2024-12-28 13:15Support for single line comment syntax using --James Eversole2+13-3
2024-12-28 02:54Update README and REPL formatting for list outputsJames Eversole2+16-14
2024-12-28 02:46Update lambda handling; better default decode outJames Eversole5+72-66
2024-12-28 01:27Further library additions and REPL updatesJames Eversole4+21-14
2024-12-27 22:30Include equality testing in basic libraryJames Eversole4+56-67
2024-12-27 22:09Minor fix to REPL output for numbersJames Eversole2+31-10
2024-12-27 21:40Automatic decoding of supported literals in REPLJames Eversole6+86-23
2024-12-27 20:10Tests and better default REPL behaviorJames Eversole5+62-48
2024-12-27 18:27Somewhat working lambdasJames Eversole5+419-335
2024-12-27 14:17Stop using lists to represent argsJames Eversole7+400-300
2024-12-20 19:00Drop useless commentsJames Eversole1+0-5
2024-12-20 17:380.2.0James Eversole8+234-136
2024-12-20 03:13Reserve __result keywordJames Eversole1+2-2
2024-12-20 02:26Additional test coverage for lexing and parsingJames Eversole2+40-3
2024-12-20 02:21Additional testsJames Eversole1+31-0
2024-12-20 01:53Additional test cases and bug fixes for subtle issuesJames Eversole2+30-2
2024-12-20 01:08FormattingJames Eversole2+6-2
2024-12-20 00:570.1.0 base collection of featuresJames Eversole6+163-24
2024-12-19 01:41Clean upJames Eversole4+6-39
2024-12-19 01:15Add README and LICENSE filesJames Eversole3+27-2
2024-12-19 00:55Initialize RepoJames Eversole11+688-0