TodoMVC example written in Mithril