formal-rt 0.1.0

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