formality 0.1.9

[package]
name = "formality"
version = "0.1.9"
authors = ["maiavictor <srvictormaia@gmail.com>"]
license = "MIT"
description = "An efficient programming language featuring formal proofs."

[dependencies]
symmetric-interaction-calculus = "0.1.8"
clap = "2.26.0"

[[bin]]
name = "formality"
path = "src/main.rs"