giles

0 Followers · 0 Following

• Joined on 2024-04-09

Repositories Projects Packages Public Activity Starred Repositories

giles pushed to loops/haskell at coop/rose-ash 2026-05-08 07:06:36 +00:00

badb428100 merge: architecture into loops/haskell — Phases 7-16 complete + Phases 17-19 planned

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

Compare 560 commits »

giles pushed to loops/js at coop/rose-ash 2026-05-08 06:36:56 +00:00

bfec2a4320 js-on-sx: JS functions accept extra args silently

giles pushed to loops/js at coop/rose-ash 2026-05-08 06:03:56 +00:00

b1023f11d9 js-on-sx: lower array pad bail-out to 1M to kill remaining hang

giles pushed to loops/js at coop/rose-ash 2026-05-08 05:31:52 +00:00

16f7a14506 js-on-sx: bail out of array set/length at 2^32-1 instead of padding

giles pushed to loops/js at coop/rose-ash 2026-05-08 05:01:15 +00:00

0cfaeb9136 js-on-sx: built-in .length returns spec-defined values

giles pushed to loops/js at coop/rose-ash 2026-05-08 04:26:39 +00:00

8d9ce7838d js-on-sx: Object.prototype.toString dispatches by [[Class]]

giles pushed to loops/js at coop/rose-ash 2026-05-08 03:52:22 +00:00

fb0ca374a3 js-on-sx: Math.X.name maps SX names to JS for trig/log/etc.

giles pushed to loops/js at coop/rose-ash 2026-05-08 03:24:34 +00:00

d676bcb6b7 js-on-sx: fn.constructor === Function for function instances

giles pushed to loops/js at coop/rose-ash 2026-05-08 02:52:17 +00:00

9b07f97341 js-on-sx: js-new-call honours function-typed constructor returns

giles pushed to loops/js at coop/rose-ash 2026-05-08 02:21:58 +00:00

0df2b1c7b2 js-on-sx: hoist var across nested blocks; var-decls become set!

giles pushed to loops/js at coop/rose-ash 2026-05-08 01:38:56 +00:00

24a67fae97 js-on-sx: arr.length = N extends the array

giles pushed to loops/js at coop/rose-ash 2026-05-08 01:00:36 +00:00

b9dc69a3c1 js-on-sx: arrays inherit from Array.prototype on lookup miss

giles pushed to loops/js at coop/rose-ash 2026-05-08 00:28:40 +00:00

c8f9b8be06 js-on-sx: arrays accept numeric-string property keys

giles pushed to loops/haskell at coop/rose-ash 2026-05-08 00:17:50 +00:00

e83c01cdcc haskell: Phase 16 — exception handling (catch/try/throwIO/evaluate/handle/throw)

giles pushed to loops/js at coop/rose-ash 2026-05-07 23:55:12 +00:00

82100603f0 js-on-sx: scope var defines + js-args for call args

giles pushed to loops/datalog at coop/rose-ash 2026-05-07 23:51:30 +00:00

7ce723f732 datalog: built-ins + body arithmetic + order-aware safety (Phase 4, 106/106)

giles pushed to loops/apl at coop/rose-ash 2026-05-07 23:50:34 +00:00

69078a59a9 apl: glyph audit — ⍉ ⊢ ⊣ ⍕ wired (+6 tests, Phase 9 complete)

giles pushed to hs-f at coop/rose-ash 2026-05-07 23:48:56 +00:00

982b9d6be6 HS: sync upstream → 1514 tests (+18 new), 1496 runnable

giles pushed to loops/datalog at coop/rose-ash 2026-05-07 23:42:38 +00:00

6457eb668c datalog-plan: align roadmap with briefing — insert built-ins (P4) and magic sets (P6)

giles pushed to loops/datalog at coop/rose-ash 2026-05-07 23:41:31 +00:00

9bc70fd2a9 datalog: db + naive eval + safety analysis (Phase 3, 87/87)