minitt-0.2.2
Platform
Feature flags

Rust

minitt 0.2.2

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

Crate
Source
Builds
Feature flags

..
check
cli
ast.rs
eval.rs
grammar.pest
lib.rs
main.rs
parser.rs
pretty.rs

mod cli;

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