mod nfa;


fn main() {
    let mp_rule = "rule MP [A: formula, B: formula] { A } { A -> B } |- { B }";

    println!("Hello, world!");
}