[package]
name = "minitt"
version = "0.1.6"
authors = ["ice1000 <ice1000kotlin@foxmail.com>"]
edition = "2018"
license = "Apache-2.0"
description = "Mini-TT, a dependently-typed lambda calculus, implementated in Rust"
readme = "README.md"
categories = ["development-tools"]
documentation = "https://docs.rs/minitt"
repository = "https://github.com/owo-lang/minitt-rs"
[badges]
appveyor = { repository = "owo-lang/minitt-rs", service = "github" }
circle-ci = { repository = "owo-lang/minitt-rs", branch = "master" }
maintenance = { status = "passively-maintained" }
[dependencies]
pest = { version = "2.1.0", optional = true }
pest_derive = { version = "2.1.0", optional = true }
clap = { version = "2.32.0", features = ["wrap_help"], optional = true }
[features]
default = ["pretty", "parser"]
pretty = []
parser = ["pest", "pest_derive"]
cli = ["clap"]
[lib]
name = "minitt"
path = "src/lib.rs"
[[bin]]
name = "minittc"
path = "src/main.rs"
required-features = ["cli", "parser", "pretty"]