A TodoMVC application for WebSharper