Loading WASM
Package
...
Size
...
Decls
...
Exports
...
Ptr
...
Target
...
Toolchain
...
Local package
Load Package
This developer runner includes experimental DOM/UI packages and automatic conversion of records and custom inductives. See the support scope.
Embedded interface
Evaluate entry
Package your own module Command shape
// Save as my-module.virpkg.json:
{
"version": 2,
"module": "MyModule",
"package": "web/public/local.irpkg",
"roots": ["Namespace.entry1", "Namespace.entry2"]
}
npm run prepare:irpkg -- my-module.virpkg.jsonnpm run dev -- --port 5173
http://127.0.0.1:5173/dev.html?package=local.irpkg