A port of the TodoList application to Alloy - View it on GitHub