Lean VIR local bundle
=====================

This directory contains a static build of the Lean VIR browser demo, the
compiled wasm32-wasip1 IR interpreter, and the bundled demo .irpkg files.

Serve this directory from a local HTTP server, then open the printed URL:

  python3 -m http.server 8000
  http://127.0.0.1:8000/

Opening index.html directly from the filesystem is not supported by all
browsers because the runtime fetches WebAssembly modules and package files.

Useful entry points:

  index.html              Lightweight project landing
  demo.html               Runtime diagnostics and fixture browser
  dev.html                Package runner
  react.html              Lean-authored React Tamagotchi
  format.html             Format.pretty workbench
  runtime-example.html    Minimal JavaScript runtime example
