formal_rt/

lib.rs

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