[package]
edition = "2018"
name = "minitt"
version = "0.0.2"
authors = ["ice1000 <ice1000kotlin@foxmail.com>"]
description = "Work-In-Progress implementation in Rust for Mini-TT, a dependently-typed lambda calculus model"
readme = "README.md"
categories = ["development-tools"]
license = "Apache-2.0"
license-file = "LICENSE"
[badges.appveyor]
repository = "ice1000/minitt-rs"
service = "github"
[badges.circle-ci]
branch = "master"
repository = "ice1000/minitt-rs"
[badges.maintenance]
status = "experimental"