This website requires JavaScript.
ecbe670a6a
Rebuild sx-browser.js with named-let fix and render dispatch fix
giles
2026-03-17 17:32:10 +00:00
f9e65e1d17
Unify CEK callable dispatch, add named-let transpiler, full stdlib
giles
2026-03-17 17:11:09 +00:00
4c54843542
Fix stdlib.sx: trim to safe subset, fix escape-html transpilation
giles
2026-03-16 10:43:08 +00:00
f7e4e3d762
Rebuild sx-browser.js and OCaml sx_ref.ml
giles
2026-03-16 09:45:48 +00:00
4308591982
Add host FFI primitives and web/lib DOM+browser libraries
giles
2026-03-16 09:22:57 +00:00
4ce4762237
Add spec/stdlib.sx: 46 primitives become library functions
giles
2026-03-16 08:55:57 +00:00
06666ac8c4
Decouple core evaluator from web platform, extract libraries
giles
2026-03-16 08:37:50 +00:00
0caa965de0
OCaml CEK machine compiled to WebAssembly for browser execution
giles
2026-03-16 07:13:49 +00:00
5ab3ecb7e0
Add OCaml SX kernel build to sx_docs Docker image and enable in production
giles
2026-03-15 23:34:50 +00:00
313f7d6be1
OCaml bootstrapper Phase 2: HTML renderer, SX server, Python bridge
giles
2026-03-15 23:28:48 +00:00
16fa813d6d
Add hosts/ocaml/_build/ to .gitignore
giles
2026-03-15 20:52:43 +00:00
818e5d53f0
OCaml bootstrapper: transpiler compiles full CEK evaluator (61/61 tests)
giles
2026-03-15 20:51:59 +00:00
3a268e7277
Data-first HO forms, fix plan pages, aser error handling (1080/1080)
giles
2026-03-15 18:05:00 +00:00
bdbf594bc8
Add 125 new tests: CEK-advanced, signals, integration (1063/1063)
giles
2026-03-15 16:13:07 +00:00
a1fa1edf8a
Add 68 new tests: continuations-advanced + render-advanced (938/938)
giles
2026-03-15 15:32:21 +00:00
2ef3f03db3
Fix eval-expr stub: define as CEK wrapper, not error stub
giles
2026-03-15 15:08:02 +00:00
9f32c8cf0d
Frame-based dynamic scope: 870/870 — all tests passing
giles
2026-03-15 14:40:14 +00:00
719da7914e
Multi-shot delimited continuations: 868/870 passing
giles
2026-03-15 14:20:31 +00:00
c6a662c980
Phase 4: Eliminate nested CEK from HO form handlers
giles
2026-03-15 14:10:33 +00:00
e475222099
Merge eval.sx + frames.sx + cek.sx into single evaluator.sx
giles
2026-03-15 13:43:48 +00:00
b4df216fae
Phase 2: Remove dead tree-walk code from eval.sx
giles
2026-03-15 13:28:09 +00:00
9b4f735a0e
Fix edge cases: 864/870 JS full, 747/747 standard, 679/679 Python
giles
2026-03-15 13:03:02 +00:00
293af75821
Phase 1: CEK is now the sole evaluator on JavaScript
giles
2026-03-15 12:49:08 +00:00
ebb3445667
Cross-host test suite: JS 870/870, Python 679/679 (100% both)
giles
2026-03-15 12:23:58 +00:00
8f146cc810
Add strict typing mode + 139 new tests: 749/749 passing
giles
2026-03-15 12:12:48 +00:00
c67adaceaf
All 610 spec tests passing (100%)
giles
2026-03-15 12:00:29 +00:00
a2ab12a1d5
Fix render mode leak, defcomp tests, TCO depth: 513/516 passing (99.4%)
giles
2026-03-15 11:51:24 +00:00
5a03943b39
Split env-bind! from env-set!: fix lexical scoping and closures
giles
2026-03-15 11:38:35 +00:00
c20369b766
Add comprehensive spec tests: closures, macros, TCO, defcomp, parser
giles
2026-03-15 11:19:39 +00:00
237ac234df
Fix JS spec tests: 466/469 passing (99.4%)
giles
2026-03-15 11:11:40 +00:00
4b21efc43c
JS test harness: 375/469 spec tests pass with full build
giles
2026-03-15 10:46:50 +00:00
1ea80a2b71
Add comprehensive spec tests: 132 primitives + 9 freeze/thaw
giles
2026-03-15 10:37:07 +00:00
c3aee94c8f
Revert eval.sx tree-walk removal — keep stable, pare down later
giles
2026-03-15 10:33:53 +00:00
1800b80316
Add Node.js test harness for spec tests
giles
2026-03-15 10:22:00 +00:00
1a5dbc2800
Fix test runner paths, all 203 tests pass
giles
2026-03-15 10:04:01 +00:00
7cde140c7e
Phase 5-7: Clean up duplicates, verify end-to-end
giles
2026-03-15 02:29:37 +00:00
72eaefac13
Phase 4: Move web framework files to web/ and web/tests/
giles
2026-03-15 02:26:18 +00:00
7036621be8
Phase 3: Move host files to hosts/python/ and hosts/javascript/
giles
2026-03-15 02:18:56 +00:00
05f7b10864
Phase 2: Move core spec files to spec/ and spec/tests/
giles
2026-03-15 02:12:13 +00:00
8ed8134d66
Phase 1: Create directory structure for spec/hosts/web/sx
giles
2026-03-15 02:09:29 +00:00
f8a8e1eeb0
Add restructure plan for spec/hosts/web/sx separation
giles
2026-03-15 02:08:09 +00:00
1a3d7b3d77
Separate core spec from web framework
giles
2026-03-15 01:42:19 +00:00
ab015fa2fd
Remove incomplete concurrent CEK impl — spec only in plan
giles
2026-03-15 00:53:02 +00:00
b3a7df45e6
Deep concurrent CEK spec in foundations plan
giles
2026-03-15 00:50:47 +00:00
e2940e1c5f
Add Content Addressing page under CEK Machine
giles
2026-03-15 00:19:43 +00:00
f7debec7c6
Content-addressed computation: freeze → hash → CID → thaw
giles
2026-03-15 00:17:29 +00:00
488fc53fda
Persist home stepper state to localStorage via freeze scope
giles
2026-03-14 23:27:46 +00:00
cb4f4b85e5
Named freeze scopes for serializable reactive state
giles
2026-03-14 22:42:21 +00:00
a759f4da3b
Add Freeze/Thaw page under CEK Machine with live demo
giles
2026-03-14 22:14:33 +00:00
b03c84b962
Serializable CEK state: cek-freeze and cek-thaw
giles
2026-03-14 22:11:05 +00:00
4dd9968264
Fix bracket highlighting: both ( and ) share open step index
giles
2026-03-14 22:00:43 +00:00
7cc1bffc23
Reactive code view stepper for home page
giles
2026-03-14 21:58:42 +00:00
169097097c
Imperative code view: spans built once, classes updated on each step
giles
2026-03-14 20:47:10 +00:00
a7638e48d5
Reactive code view with syntax colouring, fix indenting and nil refs
giles
2026-03-14 20:43:57 +00:00
93e140280b
Add reactive render stepper to home page, fix nil→NIL in platform JS
giles
2026-03-14 20:40:24 +00:00
07bf5a1142
Add render stepper to home page
giles
2026-03-14 20:14:00 +00:00
623f947b52
Fix duplicate sx-cssx-live style tags
giles
2026-03-14 17:16:13 +00:00
41f4772ba7
Strip legacy CSS from SX app: no Prism, Ghost, FontAwesome extras
giles
2026-03-14 16:17:27 +00:00
ae1ba46b44
Add live CEK stepper island — interactive stepping debugger
giles
2026-03-14 13:31:52 +00:00
0047757af8
Add Platonic SX essay to philosophy section
giles
2026-03-14 13:25:10 +00:00
b3cba5e281
Update foundations plan: all five layers complete, reframe next steps
giles
2026-03-14 13:20:07 +00:00
48d493e9cc
Fix init.sx: move out of component directory to avoid server-side eval
giles
2026-03-14 11:57:40 +00:00
7556cc303d
Add CEK/frames specs and spec explorer to Language nav
giles
2026-03-14 11:35:56 +00:00
919998be1c
Move SX app CSS and init behavior from Python to init.sx
giles
2026-03-14 11:11:49 +00:00
2211655060
CEK-native higher-order forms: map, filter, reduce, some, every?, for-each
giles
2026-03-14 10:45:36 +00:00
d0a5ce1070
Remove invoke from platform interfaces, add cek-call integration tests
giles
2026-03-14 10:29:32 +00:00
6581211a10
Replace invoke with cek-call in adapters and engine
giles
2026-03-14 10:16:47 +00:00
455e48df07
Replace invoke with cek-call in reactive island primitives
giles
2026-03-14 10:11:48 +00:00
30d9d4aa4c
Add missing plan routes for cek-reactive and reactive-runtime
giles
2026-03-14 02:02:54 +00:00
b06cc2daca
Fix bootstrapper cell variable scoping for nested closures
giles
2026-03-14 01:46:15 +00:00
4b746e4c8b
Bootstrap parser.sx to Python, add reactive runtime plan
giles
2026-03-14 01:45:17 +00:00
f96506024e
Add CEK Machine section under Geography with live island demos
giles
2026-03-14 01:37:16 +00:00
203f9a49a1
Fix remaining test runners for CEK-default mode: override to tree-walk
giles
2026-03-14 01:17:47 +00:00
893c767238
Add CEK reactive tests (9/9), fix test runners for CEK-default mode
giles
2026-03-14 01:13:31 +00:00
5c4a8c8cc2
Implement deref-as-shift: ReactiveResetFrame, DerefFrame, continuation capture
giles
2026-03-14 01:13:21 +00:00
90febbd91e
Bootstrap CEK as default evaluator on both JS and Python sides
giles
2026-03-14 01:13:11 +00:00
f3a9f3ccc0
Collapse signal platform primitives into pure SX dicts
giles
2026-03-14 00:04:38 +00:00
dcc73a68d5
Collapse reactive islands into scopes: replace TrackingContext and *island-scope* with scope-push!/scope-pop!/context
giles
2026-03-13 23:09:09 +00:00
1765216335
Implement explicit CEK machine, continuations, effect signatures, fix dynamic-wind and inspect shadowing
giles
2026-03-13 22:14:55 +00:00
11fdd1a840
Unify scoped effects: scope as general primitive, provide as sugar
giles
2026-03-13 17:30:34 +00:00
6ca46bb295
Exclude reader-macro-demo.sx from component loader
giles
2026-03-13 17:28:26 +00:00
e1a5e3eb89
Reframe spreads article around provide/emit! as the mechanism
giles
2026-03-13 16:12:47 +00:00
aef990735f
Add provide/emit! geography article, update spreads article, fix foundations rendering
giles
2026-03-13 16:04:52 +00:00
04d3b2ecaf
Use separate CI build directory to avoid clobbering dev working tree
giles
2026-03-13 15:42:00 +00:00
c4a999d0d0
Merge branch 'worktree-api-urls' into macros
giles
2026-03-13 15:41:40 +00:00
2de4ba8c57
Refactor spread to use provide/emit! internally
giles
2026-03-13 15:41:32 +00:00
ee969a343c
Merge branch 'macros'
giles
2026-03-13 12:41:09 +00:00
400d6d4086
Merge branch 'worktree-api-urls' into macros
giles
2026-03-13 12:20:27 +00:00
dbf16929fa
Merge branch 'worktree-api-urls'
giles
2026-03-13 12:20:22 +00:00
859aad4333
Fix spread serialization in aser/async-aser wire format
giles
2026-03-13 12:20:16 +00:00
c95e320825
Merge branch 'worktree-api-urls' into macros
giles
2026-03-13 12:07:05 +00:00
427dee13f0
Add scoped-effects + foundations to defpage plan-page dispatch
giles
2026-03-13 12:06:56 +00:00
a7de0e9410
Merge branch 'worktree-api-urls' into macros
giles
2026-03-13 12:04:30 +00:00
214963ea6a
Unicode escapes, variadic infix fix, spreads demos, scoped-effects + foundations plans
giles
2026-03-13 12:03:58 +00:00
2fc391696c
Merge branch 'worktree-api-urls' into macros
giles
2026-03-13 10:46:53 +00:00
28a6560963
Replace \uXXXX escapes with actual UTF-8 characters in .sx files
giles
2026-03-13 10:46:53 +00:00
cee0ca7667
Merge branch 'worktree-api-urls' into macros
giles
2026-03-13 10:44:10 +00:00
98036b2292
Add syntax highlighting to spreads page code blocks
giles
2026-03-13 10:44:09 +00:00
6d0c0b2230
Merge branch 'worktree-api-urls' into macros
giles
2026-03-13 05:42:51 +00:00
9d0bd3b0e7
Fix spreads page: remove (code) tags from table list data
giles
2026-03-13 05:42:47 +00:00
giles