Lean-authored React · demo-host.irpkg

Tamagotchi

Loading WASM
Package ...
Decls ...
Exports ...
Ptr ...

Flagship example

One component, several hosts

The state machine and React tree are written in Lean. The same ReactTamagotchi.View mounts here as an application and inside the Lean infoview as a panel widget.

ReactTamagotchi.mount

Browser application

...