A port of the TodoList application to Alloy