applite
cargoA total, fuel-bounded UI-app language on the litelite kit: state, widgets, and event handlers that provably halt, with atomic rollback on any fault.
Audits
No audits for this package yet.
A total, fuel-bounded UI-app language on the litelite kit: state, widgets, and event handlers that provably halt, with atomic rollback on any fault.