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