mach_examples/07_todo_db_per_user/create_todos_table.sql

CREATE TABLE IF NOT EXISTS todos (
  id INTEGER PRIMARY KEY AUTOINCREMENT,
  title TEXT NOT NULL,
  finished INTEGER CHECK(finished IN (1))
);