giles
0 Followers · 0 Following
  • Joined on 2024-04-09
Repositories Projects Packages Public Activity Starred Repositories
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 08:15:45 +00:00
937342bbf0 ocaml: phase 2 function | pat -> body (+4 tests, 198 total)
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 08:13:11 +00:00
d964f58c48 datalog: semi-naive saturator + delta sets (Phase 5, 114/114)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 08:11:19 +00:00
9b8b0b4325 ocaml: phase 2 for/while loops (+5 tests, 194 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 08:07:36 +00:00
a11f3c33b6 ocaml: phase 2 references ref/!/:= (+6 tests, 189 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 08:03:02 +00:00
9b833a9442 ocaml: phase 3 pattern matching + constructors (+18 tests, 183 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 07:57:28 +00:00
4dca583ee3 ocaml: phase 2 evaluator slice (+42 tests, 165 total)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 07:57:04 +00:00
3d2a5b1814 mk: phase 6A — minimal FD (ino + all-distincto)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 07:50:08 +00:00
bc9261e90a mk: matche keyword pattern fix + classic puzzles
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 07:48:57 +00:00
a6ab944c39 ocaml: phase 1 sequence operator ; (+10 tests, 123 total)
giles pushed to loops/apl at coop/rose-ash 2026-05-08 07:47:03 +00:00
58c6ec27f3 plans: log blocker — sx-tree MCP disconnected at start of Phase 10
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 07:41:57 +00:00
fd73f3c51b mk: phase 5D — matche pattern matching, phase 5 complete
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 07:29:11 +00:00
9102e57d89 ocaml: phase 1 match/with + pattern parser (+9 tests, 113 total)
giles pushed to loops/apl at coop/rose-ash 2026-05-08 07:27:27 +00:00
fa43aa6711 plans: Phase 10 — runtime gaps (⍸ ∪ ∩ ⊥ ⊤ ⊆ ⍎) + life/quicksort as-written
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 07:25:20 +00:00
9648dac88d ocaml: phase 1 top-level decls (+9 tests, 104 total)
giles pushed to architecture at coop/rose-ash 2026-05-08 07:23:53 +00:00
0d2eede5fb merge: loops/apl — Phase 9 complete (.apl source files run as-written)
69078a59a9 apl: glyph audit — ⍉ ⊢ ⊣ ⍕ wired (+6 tests, Phase 9 complete)
f5d3b1df19 apl: ⍵-rebind + primes.apl runs as-written (+4 tests)
bf782d9c49 apl: apl-run-file path → array (+4 tests)
bcdd137d6f apl: ? roll/random + apl-rng-seed! (+4 tests)
Compare 9 commits »
giles pushed to hs-f at coop/rose-ash 2026-05-08 07:23:03 +00:00
a9eb821cce HS: tokenizer-stream API → 13 tests pass (-13 skips)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 07:22:46 +00:00
b8a0c504bc mk: phase 4C — permuteo (with inserto helper)
giles pushed to loops/js at coop/rose-ash 2026-05-08 07:17:48 +00:00
1b7bb5ad1f js-on-sx: new <non-callable> throws TypeError instead of hanging
giles pushed to hs-f at coop/rose-ash 2026-05-08 07:16:37 +00:00
d0b358eca2 HS: parser+compiler — toggle for-in lookahead, throttled/debounced modifiers (-2 skips)
giles pushed to architecture at coop/rose-ash 2026-05-08 07:08:09 +00:00
badb428100 merge: architecture into loops/haskell — Phases 7-16 complete + Phases 17-19 planned
e83c01cdcc haskell: Phase 16 — exception handling (catch/try/throwIO/evaluate/handle/throw)
544e79f533 haskell: fix string ↔ [Char] equality — palindrome 12/12, conformance 34/34 (269/269)
f1fea0f2f1 haskell: Phase 15 — IORef (5 ops + module wiring + ioref.sx 13/13 + counter.hs 7/7 + accumulate.hs 8/8)
f26f25f146 haskell: Phase 14 conformance — person.hs (7/7) + config.hs (10/10), Phase 14 complete
Compare 58 commits »