Try it

Todo

TodoMVC: add, complete, edit, filter and clear todos. Every frame below is one the app's real Lean code drew. Point at a control to see its claim; click it to take the step.