module TodoService : type Todo = id: UUID, title: String, done: Bool resource db : Postgres plan: "small", region: "us-east-1" api GET /todos -> List<Todo> handler: listTodos api POST /todos -> Todo handler: createTodo, validate: createTodoSchema
References and further reading (Conceptual platform — references omitted.) Neoprogrammer V2.2.0.10
— End of paper —