2022-07-13 04:47:17 +03:00
|
|
|
[package]
|
2022-07-14 05:19:47 +03:00
|
|
|
name = "kind2"
|
2022-09-03 06:18:07 +03:00
|
|
|
version = "0.2.71"
|
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-08-19 23:31:39 +03:00
|
|
|
hvm = "0.1.80"
|
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"] }
|
