minitt 0.2.4

Mini-TT, a dependently-typed lambda calculus, extended and implementated in Rust
# 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

samples/bugs