Commit Graph

Select branches

Hide Pull Requests

contentstore

feat/elimination-optimizations-debruijn-kiselyov

main

#2

#3

#7

#9

0.10.0

0.11.0

0.12.0

0.12.0-hotfixes

0.13.0

0.13.1

0.14.0

0.15.0

0.16.0

0.18.0

0.18.1

0.5.0

0.6.0-2e246eb1c8

0.6.0-8995efce15

0.7.0

0.8.0

0.9.0

Mono Color

• 983a0cc5a7 Explicit filesystem permissions required main James Eversole 2026-05-12 19:02:51 -05:00
• d6df01105c feat(haskell): Interaction Tree IO James Eversole 2026-05-12 18:38:24 -05:00
• 31bf7094f4 Arboricx bundle format 1.1 James Eversole 2026-05-11 19:53:37 -05:00
• e0b1e95729 feat(haskell): CLI rewrite James Eversole 2026-05-11 15:29:12 -05:00
• ea748b2e5e feat(php): Simple web demo James Eversole 2026-05-11 13:07:35 -05:00
• d37d443021 feat(php): use new FFI for Arboricx James Eversole 2026-05-11 09:18:47 -05:00
• d7a7a8134c feat(zig): native Arboricx bundle parser and C ABI James Eversole 2026-05-10 21:21:58 -05:00
• 8a673e282d Fixes space leak by switching to objects James Eversole 2026-05-10 16:56:00 -05:00
• 1885c9b4ba PHP host shell cleanup and docs James Eversole 2026-05-10 14:52:24 -05:00
• fa58f4ef3a Fix fuel implementation in PHP James Eversole 2026-05-10 09:10:27 -05:00
• e9eb2daaf2 Initial PHP host implementation James Eversole 2026-05-09 20:22:58 -05:00
• 1f72a6969d Tiny README update James Eversole 2026-05-09 18:36:39 -05:00
• 2e8a0a4c46 Host ABI definition and ergonomics in TC James Eversole 2026-05-09 18:33:03 -05:00
• d0886ad886 Small host execution ergos James Eversole 2026-05-09 18:18:25 -05:00
• 2773109b87 Full Arboricx parsing in tricu James Eversole 2026-05-09 17:43:45 -05:00
• 6dd4c3e607 Drop CBOR for simple custom manifest James Eversole 2026-05-09 12:30:30 -05:00
• 343ecbf4c4 Arborix -> Arboricx rename James Eversole 2026-05-08 09:12:20 -05:00
• e3117e3ac8 Switch manifest serialization to CBOR James Eversole 2026-05-07 21:41:50 -05:00
• d9f25a2b5a Add Arborix bundle parsing and reconstruction James Eversole 2026-05-07 14:21:24 -05:00
• a002365651 Add Arborix section directory byte readers James Eversole 2026-05-07 12:28:14 -05:00
• 1d84bf7cfa fix: freeVars, toSKIDB James Eversole 2026-05-07 11:04:29 -05:00
• e8ab61dbaa Data-first recursive consumers in readBytes James Eversole 2026-05-07 10:07:43 -05:00
• 37d57044e2 Idiomatic naming in libs James Eversole 2026-05-07 08:15:32 -05:00
• 44ab13c889 Beginning Arborix work in tricu James Eversole 2026-05-06 20:10:33 -05:00
• dee85efabf Tree-native binary processing James Eversole 2026-05-06 19:23:30 -05:00
• 89bb73ed99 Tree-native byte processing James Eversole 2026-05-06 18:53:17 -05:00
• 1c4c49e68d Byte marshalling James Eversole 2026-05-06 17:25:42 -05:00
• e7a6426060 Support multiple named exports globally James Eversole 2026-05-06 15:30:56 -05:00
• 7e16607d96 Drop slopdashes and add container build James Eversole 2026-05-06 14:40:33 -05:00
• a36ff638a9 feat: HTTP server for exporting Arborix bundles James Eversole 2026-05-06 14:09:56 -05:00
• 0cd849447f Initial JS runtime and Arborix Implementation James Eversole 2026-05-06 11:30:31 -05:00
• fe453b9b96 Wire prepped and basics tested James Eversole 2026-05-05 20:16:27 -05:00
• fb09b4666e Seeded root leaf prep for wire James Eversole 2026-05-05 19:16:16 -05:00
• efbe9350ed Zero Warnings Plan James Eversole 2026-05-05 18:30:14 -05:00
• 2627627493 Picking development back up James Eversole 2026-05-05 14:51:42 -05:00
• c008126b14 Merge branch 'contentstore' James Eversole 2026-05-05 14:09:42 -05:00
• 6b97b210ca Full Merkle tree resolution contentstore James Eversole 2026-05-05 12:43:03 -05:00
• 71653311ce Documentation updates James Eversole 2026-05-05 10:02:23 -05:00
• 0cdc0bfc34 "size" function nodes down from 454 to 321 feat/elimination-optimizations-debruijn-kiselyov James Eversole 2025-08-07 15:16:44 -05:00
• c36d963640 Update README to reflect completion of experiment James Eversole 2025-05-29 13:39:44 -05:00
• 72e5810ca9 Update README to reflect completion of experiment James Eversole 2025-05-29 13:31:21 -05:00
• b96a3f2ef0 Fixes list and name lookup bugs James Eversole 2025-05-26 17:40:06 -05:00
• 6780b242b1 Use exact name matches in nameToTerm James Eversole 2025-05-26 09:00:51 -05:00
• 94514f7dd0 Update README and !help REPL command James Eversole 2025-05-22 16:52:37 -05:00
• 43e83be9a4 Merge content store James Eversole 2025-05-22 16:13:57 -05:00
• 3717942589 Clean up and list SKI conversion fix James Eversole 2025-04-24 12:14:38 -05:00
• b8e2743103 Updates to demos James Eversole 2025-04-16 14:23:53 -05:00
• 25bfe139e8 String escaping using backslash James Eversole 2025-04-15 10:52:53 -05:00
• f2beb86d8a Drop backslash from lambda definitions James Eversole 2025-04-15 10:34:38 -05:00
• 5024a2be4c Revert flake.nix James Eversole 2025-02-08 10:24:14 -06:00
• fccee3e61c Static linking part 2 0.18.1 James Eversole 2025-02-07 19:22:31 -06:00
• ad1918aa6f Statically link binaries 0.18.0 James Eversole 2025-02-07 18:32:09 -06:00
• 0a505172b4 Adds several new REPL utilities James Eversole 2025-02-07 18:25:11 -06:00
• e6e18239a7 Smarter decoding of terms James Eversole 2025-02-07 15:04:13 -06:00
• 871245b567 Lint cleanup and README updates James Eversole 2025-02-07 12:37:27 -06:00
• 30b9505d5f Clearer definition for apply James Eversole 2025-02-06 08:32:17 -06:00
• f4e50353ed Support for list literals in Lambdas 0.16.0 James Eversole 2025-02-02 12:08:01 -06:00
• f9864b8361 REPL namespaces; lib function for pattern matching 0.15.0 James Eversole 2025-02-02 10:50:28 -06:00
• 1a9a4494e0 Caller-relative imports; smart deduping in imports 0.14.0 James Eversole 2025-01-30 17:56:46 -06:00
• a16a24a808 Replace placeholder xor? library function James Eversole 2025-01-30 17:17:07 -06:00
• 7d1b6a741d REPL import warning; version info in CLI 0.13.1 James Eversole 2025-01-30 14:19:30 -06:00
• bf1000d174 Rework module system 0.13.0 James Eversole 2025-01-30 13:56:09 -06:00
• 09eedfb609 Better handling of interrupts in REPL James Eversole 2025-01-27 16:46:41 -06:00
• 33c2119708 Don't require available library to run REPL or decoder 0.12.0-hotfixes James Eversole 2025-01-27 16:28:40 -06:00
• c6a7835a6f Don't require available library to run REPL or decoder James Eversole 2025-01-27 16:28:40 -06:00
• 3b833ca75b Gracefully ignore no-op redefs James Eversole 2025-01-27 16:19:59 -06:00
• 20b114fe9b Gracefully ignore no-op redefs James Eversole 2025-01-27 16:19:59 -06:00
• 203bc1898d README typo James Eversole 2025-01-27 16:07:32 -06:00
• 3e07a36444 README typo James Eversole 2025-01-27 16:07:32 -06:00
• 87aed72ab2 # Modules 0.12.0 James Eversole 2025-01-27 16:04:04 -06:00
• 4a4b09e898 # Modules James Eversole 2025-01-27 16:04:04 -06:00
• f71f88dce3 Small dependency ordering optimizations James Eversole 2025-01-26 16:06:40 -06:00
• 72291c652d Small dependency ordering optimizations James Eversole 2025-01-26 16:06:40 -06:00
• 918d929c09 # File eval mode now relies on main function 0.11.0 James Eversole 2025-01-26 15:33:12 -06:00
• c9d0d04630 # File eval mode now relies on main function James Eversole 2025-01-26 15:33:12 -06:00
• a64b3f0829 Definition dependency analysis 0.10.0 James Eversole 2025-01-26 14:50:15 -06:00
• 425489a73f Definition dependency analysis James Eversole 2025-01-26 14:50:15 -06:00
• e2621bc09d Allow lambda expressions without explicit paren 0.9.0 James Eversole 2025-01-26 08:52:28 -06:00
• b0b0fb22b9 Allow lambda expressions without explicit paren James Eversole 2025-01-26 08:52:28 -06:00
• ea128929da Add optimization cases for triage and composition James Eversole 2025-01-25 15:12:28 -06:00
• 6713b05872 Add optimization cases for triage and composition James Eversole 2025-01-25 15:12:28 -06:00
• 2bd388c871 Eval optimization! Tests for demos 0.8.0 James Eversole 2025-01-25 09:18:13 -06:00
• 00cdeca280 Eval optimization! Tests for demos James Eversole 2025-01-25 09:18:13 -06:00
• 1f5a910fb2 Immutable definitions and documentation updates 0.7.0 James Eversole 2025-01-24 16:14:33 -06:00
• 3175132eec Immutable definitions and documentation updates James Eversole 2025-01-24 16:14:33 -06:00
• 8b043911ca Add size demo James Eversole 2025-01-23 18:57:59 -06:00
• 88b1c71695 Add size demo James Eversole 2025-01-23 18:57:59 -06:00
• 2e246eb1c8 Remove Nix caching that can't work due to /nix/store permissions 0.6.0-2e246eb1c8 James Eversole 2025-01-23 17:59:47 -06:00
• cbf23bc569 Remove Nix caching that can't work due to /nix/store permissions James Eversole 2025-01-23 17:59:47 -06:00
• ba340ae56f Update README to reflect demo James Eversole 2025-01-23 17:31:30 -06:00
• 8b0db2c935 Update README to reflect demo James Eversole 2025-01-23 17:31:30 -06:00
• 739851c864 Minify and mark as pre-release James Eversole 2025-01-23 17:13:17 -06:00
• 9dbcde08ca Minify and mark as pre-release James Eversole 2025-01-23 17:13:17 -06:00
• 8995efce15 Release 0.6.0 0.6.0-8995efce15 James Eversole 2025-01-23 16:07:49 -06:00
• 5216cc4e5b Release 0.6.0 James Eversole 2025-01-23 16:07:49 -06:00
• 03e2f6b93e Some special characters in ids; new demos James Eversole 2025-01-23 15:46:40 -06:00
• 10c7cc367d Some special characters in ids; new demos James Eversole 2025-01-23 15:46:40 -06:00
• 419d66b4d1 All paths for caching cabal included :) James Eversole 2025-01-21 16:58:04 -06:00
• 118062d33c All paths for caching cabal included :) James Eversole 2025-01-21 16:58:04 -06:00
• 4b98afd803 Use runner 0.1.0 James Eversole 2025-01-21 16:49:15 -06:00