TodoMVC application using Theoricus