Administrator := actor
Admins := actor list

somebody is Administator :=
    somebody is actor
    somebody in Admins

Task :=
    Title (string)
    Status

Status := iota
Todo, InProgress, Done := Status

Tasks := Task list

Tasks completed? :=
    for each task in Tasks:
        task.Status = Done

todo! text :=
    this is Administrator
    text is string
    task := Task
        Title = text
        Status = Todo
    add task to Tasks

Task start! :=
    Task.Status is Todo
    Task.Status := InProgress

Task complete! :=
    Task.Status is not Done
    Task.Status := Done