formal-cli 0.1.0

pub fn name() -> &'static str {
    "The Formal Programming Language CLI"
}