Kind1/Cargo.toml

[package]
name = "kind2"
version = "0.2.79"
edition = "2021"
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"]

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
hvm = "0.1.81"
#hvm = { path = "../hvm" }
highlight_error = "0.1.1"
clap = { version = "3.1.8", features = ["derive"] }
rand = "0.8.5"

[dev-dependencies]
pretty_assertions = "1.3.0"
ntest = "0.8.1"
walkdir = "2"

[profile.dev.package.hvm]
opt-level = 3

[[test]]
name = "kind2-tests"
path = "tests/mod.rs"
Initial commit 2022-07-13 04:47:17 +03:00			`[package]`
Initial working type-checker 2022-07-14 05:19:47 +03:00			`name = "kind2"`
Inc version 2022-10-01 22:33:56 +03:00			`version = "0.2.79"`
Initial commit 2022-07-13 04:47:17 +03:00			`edition = "2021"`
Extend Cargo.toml 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"]`
Initial commit 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]`
Use ## for sub syntax 2022-09-03 06:28:20 +03:00			`hvm = "0.1.81"`
Update HVM, reduction improvements 2022-07-28 01:58:53 +03:00			`#hvm = { path = "../hvm" }`
Show highlighted error line 2022-07-16 20:26:38 +03:00			`highlight_error = "0.1.1"`
Avoid stuck terms by providing default cases This required updating the HVM to improve the flattener 2022-07-16 06:52:56 +03:00			`clap = { version = "3.1.8", features = ["derive"] }`
Fixes and improvements for the kindelia compiler Add an alternate name for function, to be used as the kindelia name. Syntax is `Function.name #kdl_name (args) : type` For functions that don't have a kindelia name, try to fit their names to 12 characters by truncating the last part of the name and inserting some random characters to avoid collisions. For example: `Fn.with_a_long_name` becomes `Fn.with_aF5m`, with the last 3 characters being random. This takes the start of the function up to the last `.` as the namespace. Compile entries with arity 0 as constructors. Don't compile constructors of type Type. This doesn't cover all cases of invalid constructors. For example: `Fn (a: U60) : U60.if a Type U60` will still try to compile and fail. Fix a bug where function applications where being compiled as constructors. Don't compile erased arguments anymore. Check for invalid Nil terms in compilation. 2022-09-03 19:26:58 +03:00			`rand = "0.8.5"`
Fix workflows 2022-09-21 18:01:04 +03:00
			`[dev-dependencies]`
			`pretty_assertions = "1.3.0"`
Added timeout in everything 2022-09-26 17:06:24 +03:00			`ntest = "0.8.1"`
Added configuration and some fixes 2022-09-20 19:14:27 +03:00			`walkdir = "2"`

Fix workflows 2022-09-21 18:01:04 +03:00			`[profile.dev.package.hvm]`
			`opt-level = 3`

Added configuration and some fixes 2022-09-20 19:14:27 +03:00			`[[test]]`
			`name = "kind2-tests"`
Inc version 2022-09-30 17:58:08 +03:00			`path = "tests/mod.rs"`