giles

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 09:09:02 +00:00

a63d67247a datalog: add public-API documentation index in datalog.sx

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 09:05:42 +00:00

d09ed83fa1 datalog: cooking-posts canonical demo (Phase 10, 162/162)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 09:02:51 +00:00

55286cc5bc datalog: findall aggregate (159/159)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 09:02:32 +00:00

26863242a0 ocaml: phase 5 HM type inference — closes lib-guest step 8 (+14 tests, 265 total)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 08:58:21 +00:00

5a1dc4392f datalog: anonymous _ vars are unique per occurrence (Phase 5d, 156/156)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 08:53:59 +00:00

4c6790046c ocaml: phase 2 let..and.. mutual recursion (+3 tests, 251 total)

giles pushed to hs-f at coop/rose-ash

2026-05-08 08:50:57 +00:00

f4c155c9c5 HS: hoist emit-on throttle/debounce helpers to module level (perf)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 08:50:36 +00:00

790c17dfc1 datalog: indexed dl-find-bindings + chain-15 differential (Phase 5c, 153/153)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 08:49:50 +00:00

19f1cad11d ocaml: phase 6 stdlib slice (List/Option/Result, +23 tests, 248 total)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 08:46:09 +00:00

de302fc236 datalog: rose-ash demo programs (Phase 10 syntactic, 153/153)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 08:45:02 +00:00

5603ecc3a6 ocaml: phase 4 functors + module aliases (+5 tests, 225 total)

giles pushed to loops/js at coop/rose-ash

2026-05-08 08:44:40 +00:00

7a898567e4 js-on-sx: global eval(src) actually evaluates the source

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 08:42:14 +00:00

3cc760082c datalog: hash-set membership for facts (Phase 5b perf)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 08:39:17 +00:00

d45e653a87 ocaml: phase 4 open / include (+5 tests, 220 total)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 08:34:17 +00:00

ce603e9879 datalog: SX-data embedding API (Phase 9, 143/143)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 08:33:41 +00:00

317f93b2af ocaml: phase 4 modules + field access (+11 tests, 215 total)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 08:28:54 +00:00

6d04cf7bf2 datalog: aggregation count/sum/min/max (Phase 8, 134/134)

giles pushed to loops/tcl at coop/rose-ash

2026-05-08 08:28:11 +00:00

2fa0bb4df1 tcl: Phase 6 — namespace, list ops, dict additions, scan/format, exec [WIP]

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 08:21:06 +00:00

caec05eb27 datalog: stratified negation (Phase 7, 124/124)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 08:20:15 +00:00

6a1f63f0d1 ocaml: phase 2 try/with + raise (+6 tests, 204 total)