Function todo_example

src/ngs.rs:110–132

()

type TodoFile = Vec<Todo>;

fn todo_example() -> TodoFile {
    vec![Todo {
        text: "Finish Specification Language".into(),
        done: false,
        dependencies: vec![
            Todo {
                text: "Write Example Todo".into(),
                done: true,
                dependencies: vec![],
            },
            Todo {
                text: "Write Desired Specification".into(),
                done: true,
                dependencies: vec![],
            },
            Todo {
                text: "Generalize Specification".into(),
                done: false,
                dependencies: vec![],
            },
        ],
    }]
}

// fn todo_ngs() -> Specification {
//     Specification {