giles
0 Followers · 0 Following
  • Joined on 2024-04-09
Repositories Projects Packages Public Activity Starred Repositories
giles pushed to loops/js at coop/rose-ash 2026-05-07 20:47:30 +00:00
42cce5e3fc js-on-sx: js-num-from-string uses string->number for exp-form
giles pushed to loops/haskell at coop/rose-ash 2026-05-07 20:35:30 +00:00
544e79f533 haskell: fix string ↔ [Char] equality — palindrome 12/12, conformance 34/34 (269/269)
giles pushed to loops/apl at coop/rose-ash 2026-05-07 20:34:43 +00:00
2b8c1a506c plans: log blocker — sx-tree MCP disconnected mid-Phase-9
giles pushed to loops/minikanren at coop/rose-ash 2026-05-07 20:24:43 +00:00
cae87c1e2c mk: phase 4A — appendo canary green, both directions
giles pushed to loops/js at coop/rose-ash 2026-05-07 20:14:18 +00:00
2d475f95d1 js-on-sx: constructors carry __proto__ = Function.prototype
giles pushed to hs-f at coop/rose-ash 2026-05-07 20:07:01 +00:00
197c073308 HS: identify the '2 missing tests' as documented skips, not failures (1494/1494)
giles pushed to loops/apl at coop/rose-ash 2026-05-07 20:05:08 +00:00
203f81004d apl: compress as dyadic / and ⌿ (+5 tests, 501/501)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-07 20:03:46 +00:00
52070e07fc mk: phase 3 — run* / run / reify, 18 new tests
giles pushed to loops/minikanren at coop/rose-ash 2026-05-07 20:01:15 +00:00
2de6727e83 mk: phase 2D — condu + onceo, phase 2 complete
giles pushed to loops/minikanren at coop/rose-ash 2026-05-07 19:59:21 +00:00
c754a8ee05 mk: phase 2C — conde, the canonical and-or sugar
giles pushed to loops/minikanren at coop/rose-ash 2026-05-07 19:56:47 +00:00
f43ad04f91 mk: phase 2B — fresh, defmacro form + call-fresh
giles pushed to loops/minikanren at coop/rose-ash 2026-05-07 19:54:54 +00:00
0ba60d6a25 mk: phase 2A — streams + ==/conj/disj, 34 new tests
giles pushed to loops/apl at coop/rose-ash 2026-05-07 19:47:47 +00:00
04b0e61a33 plans: Phase 9 — make .apl source files run as-written
giles pushed to architecture at coop/rose-ash 2026-05-07 19:46:46 +00:00
1eb9d0f8d2 merge: loops/apl — Phase 8 quick-wins, named fns, multi-axis, trains, perf
f182d04e6a GUEST-plan: log step 8 partial — algebra + literal rule, assembly deferred
ab2c40c14c GUEST: step 8 — lib/guest/hm.sx Hindley-Milner foundations
d3c34b46b9 GUEST-plan: claim step 8 — hm.sx
80dac0051d apl: perf — fix quadratic append in permutations, restore queens(8)
Compare 16 commits »
giles pushed to loops/minikanren at coop/rose-ash 2026-05-07 19:45:53 +00:00
f13e03e625 mk: phase 1 — unify.sx + 48 tests, kit-driven
3dae27737c GUEST-plan: claim step 7 — layout.sx
f962560652 GUEST-plan: log step 6 partial — kit + tests, ports deferred
863e9d93a4 GUEST: step 6 — lib/guest/match.sx pure unify + match kit
Compare 4 commits »
giles created branch loops/minikanren in coop/rose-ash 2026-05-07 19:45:52 +00:00
giles pushed to loops/apl at coop/rose-ash 2026-05-07 19:33:12 +00:00
80dac0051d apl: perf — fix quadratic append in permutations, restore queens(8)
giles pushed to loops/js at coop/rose-ash 2026-05-07 19:11:34 +00:00
11612a511b js-on-sx: js-neg preserves IEEE-754 negative zero
giles pushed to loops/apl at coop/rose-ash 2026-05-07 19:02:25 +00:00
b661318a45 apl: train/fork notation (f g h) and (g h) (+6 tests, 496/496)
giles pushed to loops/haskell at coop/rose-ash 2026-05-07 18:50:01 +00:00
f1fea0f2f1 haskell: Phase 15 — IORef (5 ops + module wiring + ioref.sx 13/13 + counter.hs 7/7 + accumulate.hs 8/8)