A type-safe, component-based language for building reactive WASM web apps.