Build the trace explorer as a standalone web app - #45

Draft

VojtechStep wants to merge 12 commits into

LPCIC:masterfrom

VojtechStep:ssg

Commits on Jul 24, 2026

Commits on Jul 25, 2026

Support v1 traces
VojtechStep
committed
76c64cf
Elaborator docs
VojtechStep
committed
aaa2e92
Add elaboration tests
VojtechStep
committed
1fbc082

Commits on Jul 26, 2026

Use node's built-in snapshot testing
VojtechStep
committed
7b5f721
Run tests in CI
VojtechStep
committed
ccd1d77
Port remaining sanity checks from the ocaml elaborator
VojtechStep
committed
b380ef4

Commits on Aug 2, 2026

Support payload in pi/sigma inference
VojtechStep
committed
ac671ca
Add a primitive static site generator
VojtechStep
committed
bb19cbc