2022-07-13 04:47:17 +03:00
|
|
|
[package]
|
2022-07-14 05:19:47 +03:00
|
|
|
name = "kind2"
|
2022-09-30 17:58:08 +03:00
|
|
|
version = "0.2.78"
|
2022-07-13 04:47:17 +03:00
|
|
|
edition = "2021"
|
2022-07-20 02:25:52 +03:00
|
|
|
description = "A pure functional functional language that uses the HVM."
|
|
|
|
repository = "https://github.com/Kindelia/Kind2"
|
|
|
|
license = "MIT"
|
|
|
|
keywords = ["functional", "language", "type-theory", "proof-assistant"]
|
2022-07-13 04:47:17 +03:00
|
|
|
|
|
|
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
|
|
|
|
|
|
|
[dependencies]
|
2022-09-03 06:28:20 +03:00
|
|
|
hvm = "0.1.81"
|
2022-07-28 01:58:53 +03:00
|
|
|
#hvm = { path = "../hvm" }
|
2022-07-16 20:26:38 +03:00
|
|
|
highlight_error = "0.1.1"
|
2022-07-16 06:52:56 +03:00
|
|
|
clap = { version = "3.1.8", features = ["derive"] }
|
2022-09-03 19:26:58 +03:00
|
|
|
rand = "0.8.5"
|
2022-09-21 18:01:04 +03:00
|
|
|
|
|
|
|
[dev-dependencies]
|
|
|
|
pretty_assertions = "1.3.0"
|
2022-09-26 17:06:24 +03:00
|
|
|
ntest = "0.8.1"
|
2022-09-20 19:14:27 +03:00
|
|
|
walkdir = "2"
|
|
|
|
|
2022-09-21 18:01:04 +03:00
|
|
|
[profile.dev.package.hvm]
|
|
|
|
opt-level = 3
|
|
|
|
|
2022-09-20 19:14:27 +03:00
|
|
|
[[test]]
|
|
|
|
name = "kind2-tests"
|
2022-09-30 17:58:08 +03:00
|
|
|
path = "tests/mod.rs"
|