mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-09-19 03:47:24 +03:00
feat: add kindc cli
This commit is contained in:
parent
3fc34b86b9
commit
f07059229f
9
Cargo.lock
generated
9
Cargo.lock
generated
@ -8,9 +8,16 @@ version = "1.1.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa"
|
||||
|
||||
[[package]]
|
||||
name = "kind-cli"
|
||||
version = "0.1.3"
|
||||
dependencies = [
|
||||
"kind-syntax",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "kind-syntax"
|
||||
version = "0.1.0"
|
||||
version = "0.1.3"
|
||||
dependencies = [
|
||||
"num-bigint",
|
||||
"thin-vec",
|
||||
|
@ -1,5 +1,5 @@
|
||||
[workspace]
|
||||
members = ["crates/kind-syntax"]
|
||||
members = ["crates/kind-cli", "crates/kind-syntax"]
|
||||
|
||||
# [profile.test.package.hvm]
|
||||
# opt-level = 3
|
||||
|
16
crates/kind-cli/Cargo.toml
Normal file
16
crates/kind-cli/Cargo.toml
Normal file
@ -0,0 +1,16 @@
|
||||
[package]
|
||||
description = "A pure functional functional language that uses the HVM."
|
||||
edition = "2021"
|
||||
keywords = ["functional", "language", "type-theory", "proof-assistant"]
|
||||
license = "MIT"
|
||||
name = "kind-cli"
|
||||
version = "0.1.3"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[[bin]]
|
||||
name = "kindc"
|
||||
path = "src/main.rs"
|
||||
|
||||
[dependencies]
|
||||
kind-syntax = {path = "../kind-syntax", version = "0.1.3"}
|
3
crates/kind-cli/src/main.rs
Normal file
3
crates/kind-cli/src/main.rs
Normal file
@ -0,0 +1,3 @@
|
||||
fn main() {
|
||||
println!("Hello, world!");
|
||||
}
|
@ -2,7 +2,7 @@
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
name = "kind-syntax"
|
||||
version = "0.1.0"
|
||||
version = "0.1.3"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user