ToDo List

Simple Todo list example

• ALPS
• Application State Diagram
• Semantic Descriptors
  • body (semantic), content of todo item
  • id (semantic), storage id of todo item
  • todoAdd (unsafe), create a new todo item
  • todoList (safe), return list of todo items
  • todoRemove (idempotent), remove a single todo item