Loading WASM
WASM
wasm32-wasip1
Link
strict
Package
...
Size
...
Ptr
...
Decls
...
Layout
...
Interactive demo
Lean DOM Tamagotchi
Mood
happy
name
Octi
care
3/5
turns
0
last action
...
trace
happy
summary
Octi is happy
Focused packages
Browser package set
local-quickstart.irpkg
Four small exports from one Lean file
fixtures-basic.irpkg
Basic, list/option, interface shapes
demo-host.irpkg
Browser host calls, React, and Tamagotchi demos
react.html
Lean-authored React Tamagotchi
pretty-printer.irpkg
Std.Format.pretty component package
fixtures-lean.irpkg
Lean Expr, parser, Task
fixtures-boundary.irpkg
Numeric and runtime boundaries
Fixture coverage
Runnable entries
entries
...
files
...
result types
Nat
Waiting for WASM