James Eversole James
James pushed to main at James/tricu 2025-05-26 14:04:09 +00:00
6780b242b1 Use exact name matches in nameToTerm
James opened issue James/tricu#23 2025-05-26 13:59:15 +00:00
File import creates phantom definitions
James opened issue James/tricu#21 2025-05-23 12:53:24 +00:00
File evaluation doesn't use content store
James pushed to main at James/tricu 2025-05-22 21:52:39 +00:00
94514f7dd0 Update README and !help REPL command
James pushed to main at James/tricu 2025-05-22 21:46:33 +00:00
43e83be9a4 Merge content store
James pushed to main at James/tricu 2025-05-22 21:28:24 +00:00
bad54ac7e6 Merge content store
James pushed to main at James/tricu 2025-05-22 21:27:27 +00:00
647047f684 Merge content store
James pushed to main at James/tricu 2025-05-22 21:27:09 +00:00
eb7d26ad2c Merge content store
James deleted branch vibe-coding/contentstore from James/tricu 2025-05-22 21:00:18 +00:00
James pushed to main at James/eve-psr-nix0 2025-05-22 14:49:35 +00:00
fc3979e64b Reopen some services to WAN
James pushed to vibe-coding/contentstore at James/tricu 2025-04-25 17:44:12 +00:00
813e880ed7 Vibe coded initial content store
James created branch vibe-coding/contentstore in James/tricu 2025-04-25 17:44:12 +00:00
James pushed to main at James/tricu 2025-04-24 19:44:09 +00:00
3717942589 Clean up and list SKI conversion fix
James deleted branch feat/easy-imports from James/tricu 2025-04-22 21:03:07 +00:00
James pushed to main at James/eve-psr-nix0 2025-04-22 18:41:09 +00:00
b27d748e30 Lock down services to LAN
2034274ee0 Migrate from WG to TS/HS
041bba5aeb nix flake update; gitea runner
cff684720f Enable gitea, remove softserve
Compare 4 commits »
James pushed to feat/easy-imports at James/tricu 2025-04-16 19:52:16 +00:00
87200e1db4 Initial take on easier imports
James created branch feat/easy-imports in James/tricu 2025-04-16 19:52:16 +00:00
James pushed to main at James/tricu 2025-04-16 19:24:08 +00:00
b8e2743103 Updates to demos
James pushed to main at James/tricu 2025-04-16 18:32:04 +00:00
25bfe139e8 String escaping using backslash
f2beb86d8a Drop backslash from lambda definitions
Compare 2 commits »
James closed issue James/tricu#20 2025-04-11 22:06:05 +00:00
Provided binaries are linked to glibc nix