minitt 0.0.2

Work-In-Progress implementation in Rust for Mini-TT, a dependently-typed lambda calculus model
Documentation
# Generated by Cargo
# will have compiled files and executables
/target/

# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
# More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html
Cargo.lock

# These are backup files generated by rustfmt
**/*.rs.bk

.idea
.vscode
.vs
*.iml