[package]
edition = "2018"
name = "minitt"
version = "0.1.2"
authors = ["ice1000 <ice1000kotlin@foxmail.com>"]
description = "Mini-TT, a dependently-typed lambda calculus, implementated in Rust"
readme = "README.md"
categories = ["development-tools"]
license = "Apache-2.0"
[features]
default = ["pretty"]
pretty = []
[badges.appveyor]
repository = "ice1000/minitt-rs"
service = "github"
[badges.circle-ci]
branch = "master"
repository = "ice1000/minitt-rs"
[badges.maintenance]
status = "passively-maintained"