minitt 0.2.4

Mini-TT, a dependently-typed lambda calculus, extended and implementated in Rust

#[macro_use]
extern crate minitt;

mod cli;

fn main() {
    cli::main()
}