James Eversole James
0 Followers · 0 Following
Repositories
6
 Projects Packages Public Activity Starred Repositories
1
James pushed to main at James/tricu 2026-09-08 20:51:30 +00:00
18da2923e0 Fix interaction tree demos and HTTP recv 4096
James closed pull request James/tricu#24 2026-09-04 11:56:31 +00:00
feat/qwen3.8-flash-next-suggestions
James pushed to main at James/tricu 2026-09-02 18:09:08 +00:00
d54ad558a8 Runtime contract guard kernel
b822e7e713 Nat fixes
e595763f91 Attach contracts to definitions
229ba34af4 Combine base,list,contracts
Compare 4 commits »
James pushed to main at James/tricu 2026-09-01 12:53:35 +00:00
d9a69513d7 Begin removing view related code and docs
James pushed to main at James/tricu 2026-09-01 12:52:44 +00:00
2397e3ac8e Begin removing view-related code and docs
James pushed to main at James/tricu 2026-08-31 20:33:49 +00:00
073ed17eb7 Views? Never heard of 'em. Just contracts.
James created pull request James/tricu#24 2026-08-31 14:02:29 +00:00
feat/qwen3.8-flash-next-suggestions
James pushed to feat/qwen3.8-flash-next-suggestions at James/tricu 2026-08-31 14:02:04 +00:00
14b78847f9 pow, even, odd, min, max
dfcaf14404 Division and fixed pred
079643e2b7 LLM approve #1
Compare 3 commits »
James created branch feat/qwen3.8-flash-next-suggestions in James/tricu 2026-08-31 14:02:04 +00:00
James pushed to main at James/tricu 2026-07-10 23:26:57 +00:00
c6e4a43178 Back out the worst of the unsound nonsense
34aee3bf93 Explicit local bindings for let/where
Compare 2 commits »
James pushed to main at James/tricu 2026-06-22 22:26:25 +00:00
c6c1ef1fe1 Some REPL niceties
James pushed to main at James/tricu 2026-05-25 23:17:21 +00:00
a4fcc1cb36 Useful but limited polymorphism
James pushed to main at James/tricu 2026-05-25 23:16:13 +00:00
84714925f1 Useful but limited polymorphism
fdebb6c13d Tricu 2.0.0
2e2db07bd6 Ergonomic language features and lib cleanup
Compare 3 commits »
James pushed to main at James/tricu 2026-05-21 22:09:52 +00:00
7cea3d1559 Fix HTTP body framing and eliminate request over-read
ac90d23b46 Packaging: Fully static Haskell builds and webapp
Compare 2 commits »
James pushed to main at James/tricu 2026-05-21 18:35:59 +00:00
4bf2ce56dd Fully normalized top-level definitions
James pushed to main at James/tricu 2026-05-21 14:07:31 +00:00
bf30d5945e (: Aiche Tee Tee Pee :)
7ae3fc33f4 Prelude and demo import cleanup
Compare 2 commits »
James pushed to main at James/tricu 2026-05-20 01:07:01 +00:00
1c17d4c94a A bit of library clean-up
James pushed to main at James/tricu 2026-05-20 00:50:48 +00:00
e2a1744508 Helpful library updates
James pushed to main at James/tricu 2026-05-19 22:00:41 +00:00
020fa769a9 Event loop!
2e13583de3 Strings for IO driver errors
Compare 2 commits »
James pushed to main at James/tricu 2026-05-16 19:59:57 +00:00
593aa96193 Sane parser rewrite