mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-09-11 07:15:45 +03:00
build: bump version to 0.1.2
This commit is contained in:
commit
cfcb2a9bbb
12
README.md
12
README.md
@ -36,18 +36,18 @@ Pure functions are defined via equations, as in [Haskell](https://www.haskell.or
|
||||
|
||||
```javascript
|
||||
// Applies a function to every element of a list
|
||||
map <a> <b> (list: List a) (f: a -> b) : List b
|
||||
map a b Nil f = Nil
|
||||
map a b (Cons head tail) f = Cons (f head) (map tail f)
|
||||
Map <a> <b> (list: List a) (f: a -> b) : List b
|
||||
Map a b Nil f = Nil
|
||||
Map a b (Cons head tail) f = Cons (f head) (Map tail f)
|
||||
```
|
||||
|
||||
Theorems can be proved inductively, as in [Agda](https://wiki.portal.chalmers.se/agda/pmwiki.php) and [Idris](https://www.idris-lang.org/):
|
||||
|
||||
```javascript
|
||||
// Black Friday Theorem. Proof that, for every Nat n: n * 2 / 2 == n.
|
||||
black_friday_theorem (n: Nat) : Equal Nat (Nat.half (Nat.double n)) n
|
||||
black_friday_theorem Nat.zero = Equal.refl
|
||||
black_friday_theorem (Nat.succ n) = Equal.apply (x => Nat.succ x) (black_friday_theorem n)
|
||||
BlackFridayTheorem (n: Nat) : Equal Nat (Nat.half (Nat.double n)) n
|
||||
BlackFridayTheorem Nat.zero = Equal.refl
|
||||
BlackFridayTheorem (Nat.succ n) = Equal.apply (x => Nat.succ x) (BlackFridayTheorem n)
|
||||
```
|
||||
|
||||
For more examples, check the [Wikind](https://github.com/kindelia/wikind).
|
||||
|
@ -1,18 +1,18 @@
|
||||
[package]
|
||||
name = "kind-checker"
|
||||
version = "0.1.1"
|
||||
description = "Type checker for the kind compiler"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
description = "Type checker for the kind compiler"
|
||||
name = "kind-checker"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
kind-tree = { path = "../kind-tree", version = "0.1.1" }
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
kind-report = { path = "../kind-report", version = "0.1.1" }
|
||||
kind-report = {path = "../kind-report", version = "0.1.2"}
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
kind-tree = {path = "../kind-tree", version = "0.1.2"}
|
||||
|
||||
hvm = "1.0.6"
|
||||
|
||||
fxhash = "0.2.1"
|
||||
im-rc = "15.1.0"
|
||||
im-rc = "15.1.0"
|
||||
|
@ -1,11 +1,11 @@
|
||||
[package]
|
||||
name = "kind2"
|
||||
version = "0.3.7"
|
||||
edition = "2021"
|
||||
description = "A pure functional functional language that uses the HVM."
|
||||
repository = "https://github.com/Kindelia/Kind2"
|
||||
license = "MIT"
|
||||
edition = "2021"
|
||||
keywords = ["functional", "language", "type-theory", "proof-assistant"]
|
||||
license = "MIT"
|
||||
name = "kind2"
|
||||
repository = "https://github.com/Kindelia/Kind2"
|
||||
version = "0.3.7"
|
||||
|
||||
[[bin]]
|
||||
name = "kind2"
|
||||
@ -14,10 +14,10 @@ path = "src/main.rs"
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
kind-driver = { path = "../kind-driver", version = "0.1.1" }
|
||||
kind-report = { path = "../kind-report", version = "0.1.1" }
|
||||
kind-checker = { path = "../kind-checker", version = "0.1.1" }
|
||||
kind-query = { path = "../kind-query", version = "0.1.1" }
|
||||
kind-checker = {path = "../kind-checker", version = "0.1.2"}
|
||||
kind-driver = {path = "../kind-driver", version = "0.1.2"}
|
||||
kind-query = {path = "../kind-query", version = "0.1.2"}
|
||||
kind-report = {path = "../kind-report", version = "0.1.2"}
|
||||
|
||||
clap = { version = "4.0.10", features = ["derive"] }
|
||||
anyhow = "1.0.66"
|
||||
anyhow = "1.0.66"
|
||||
clap = {version = "4.0.10", features = ["derive"]}
|
||||
|
@ -1,15 +1,15 @@
|
||||
[package]
|
||||
name = "kind-derive"
|
||||
version = "0.1.1"
|
||||
description = "Derive generator the kind compiler"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
description = "Derive generator the kind compiler"
|
||||
name = "kind-derive"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
kind-tree = { path = "../kind-tree", version = "0.1.1" }
|
||||
kind-report = { path = "../kind-report", version = "0.1.1" }
|
||||
fxhash = "0.2.1"
|
||||
im-rc = "15.1.0"
|
||||
im-rc = "15.1.0"
|
||||
kind-report = {path = "../kind-report", version = "0.1.2"}
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
kind-tree = {path = "../kind-tree", version = "0.1.2"}
|
||||
|
@ -1,26 +1,26 @@
|
||||
[package]
|
||||
name = "kind-driver"
|
||||
version = "0.1.1"
|
||||
description = "Driver for the kind compiler"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
description = "Driver for the kind compiler"
|
||||
name = "kind-driver"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
kind-parser = { path = "../kind-parser", version = "0.1.1" }
|
||||
kind-tree = { path = "../kind-tree", version = "0.1.1" }
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
kind-report = { path = "../kind-report", version = "0.1.1" }
|
||||
kind-checker = { path = "../kind-checker", version = "0.1.1" }
|
||||
kind-pass = { path = "../kind-pass", version = "0.1.1" }
|
||||
kind-checker = {path = "../kind-checker", version = "0.1.2"}
|
||||
kind-parser = {path = "../kind-parser", version = "0.1.2"}
|
||||
kind-pass = {path = "../kind-pass", version = "0.1.2"}
|
||||
kind-report = {path = "../kind-report", version = "0.1.2"}
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
kind-tree = {path = "../kind-tree", version = "0.1.2"}
|
||||
|
||||
kind-target-hvm = { path = "../kind-target-hvm", version = "0.1.0" }
|
||||
kind-target-kdl = { path = "../kind-target-kdl", version = "0.1.0" }
|
||||
kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.0"}
|
||||
kind-target-kdl = {path = "../kind-target-kdl", version = "0.1.0"}
|
||||
|
||||
hvm = "1.0.6"
|
||||
|
||||
anyhow = "1.0.66"
|
||||
strsim = "0.10.0"
|
||||
dashmap = "5.4.0"
|
||||
fxhash = "0.2.1"
|
||||
dashmap = "5.4.0"
|
||||
strsim = "0.10.0"
|
||||
|
@ -1,15 +1,15 @@
|
||||
[package]
|
||||
name = "kind-parser"
|
||||
version = "0.1.1"
|
||||
description = "Parser for the kind compiler"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
description = "Parser for the kind compiler"
|
||||
name = "kind-parser"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
kind-tree = { path = "../kind-tree", version = "0.1.1" }
|
||||
kind-report = { path = "../kind-report", version = "0.1.1" }
|
||||
kind-report = {path = "../kind-report", version = "0.1.2"}
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
kind-tree = {path = "../kind-tree", version = "0.1.2"}
|
||||
|
||||
fxhash = "0.2.1"
|
||||
fxhash = "0.2.1"
|
||||
|
@ -1,19 +1,19 @@
|
||||
[package]
|
||||
name = "kind-pass"
|
||||
version = "0.1.1"
|
||||
description = "A lot of compiler passes for the kind compiler"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
description = "A lot of compiler passes for the kind compiler"
|
||||
name = "kind-pass"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
kind-tree = { path = "../kind-tree", version = "0.1.1" }
|
||||
kind-report = { path = "../kind-report", version = "0.1.1" }
|
||||
kind-derive = { path = "../kind-derive", version = "0.1.1" }
|
||||
kind-derive = {path = "../kind-derive", version = "0.1.2"}
|
||||
kind-report = {path = "../kind-report", version = "0.1.2"}
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
kind-tree = {path = "../kind-tree", version = "0.1.2"}
|
||||
|
||||
linked-hash-map = "0.5.6"
|
||||
anyhow = "1.0.66"
|
||||
fxhash = "0.2.1"
|
||||
im-rc = "15.1.0"
|
||||
anyhow = "1.0.66"
|
||||
linked-hash-map = "0.5.6"
|
||||
|
@ -1,20 +1,20 @@
|
||||
[package]
|
||||
name = "kind-query"
|
||||
version = "0.1.1"
|
||||
description = "Query module for the kind compiler"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
description = "Query module for the kind compiler"
|
||||
name = "kind-query"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
kind-parser = { path = "../kind-parser", version = "0.1.1" }
|
||||
kind-tree = { path = "../kind-tree", version = "0.1.1" }
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
kind-report = { path = "../kind-report", version = "0.1.1" }
|
||||
kind-checker = { path = "../kind-checker", version = "0.1.1" }
|
||||
kind-pass = { path = "../kind-pass", version = "0.1.1" }
|
||||
kind-target-hvm = { path = "../kind-target-hvm", version = "0.1.1" }
|
||||
kind-checker = {path = "../kind-checker", version = "0.1.2"}
|
||||
kind-parser = {path = "../kind-parser", version = "0.1.2"}
|
||||
kind-pass = {path = "../kind-pass", version = "0.1.2"}
|
||||
kind-report = {path = "../kind-report", version = "0.1.2"}
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.2"}
|
||||
kind-tree = {path = "../kind-tree", version = "0.1.2"}
|
||||
|
||||
fxhash = "0.2.1"
|
||||
pathdiff = "0.2.1"
|
||||
pathdiff = "0.2.1"
|
||||
|
@ -1,17 +1,17 @@
|
||||
[package]
|
||||
name = "kind-report"
|
||||
version = "0.1.1"
|
||||
description = "Report module for the kind compiler"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
description = "Report module for the kind compiler"
|
||||
name = "kind-report"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
|
||||
fxhash = "0.2.1"
|
||||
pathdiff = "0.2.1"
|
||||
termsize = "0.1"
|
||||
unicode-width = "0.1.10"
|
||||
yansi = "0.5.1"
|
||||
pathdiff = "0.2.1"
|
||||
fxhash = "0.2.1"
|
||||
termsize = "0.1"
|
@ -1,9 +1,9 @@
|
||||
[package]
|
||||
name = "kind-span"
|
||||
version = "0.1.1"
|
||||
description = "Describes locations for the Kind compiler"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
description = "Describes locations for the Kind compiler"
|
||||
name = "kind-span"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
|
@ -1,16 +1,16 @@
|
||||
[package]
|
||||
name = "kind-target-hvm"
|
||||
version = "0.1.1"
|
||||
description = "HVM Code generator for the kind compiler"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
description = "HVM Code generator for the kind compiler"
|
||||
name = "kind-target-hvm"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
kind-tree = { path = "../kind-tree", version = "0.1.1" }
|
||||
kind-report = { path = "../kind-report", version = "0.1.1" }
|
||||
kind-derive = { path = "../kind-derive", version = "0.1.1" }
|
||||
kind-derive = {path = "../kind-derive", version = "0.1.2"}
|
||||
kind-report = {path = "../kind-report", version = "0.1.2"}
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
kind-tree = {path = "../kind-tree", version = "0.1.2"}
|
||||
|
||||
hvm = "1.0.6"
|
||||
|
@ -1,20 +1,20 @@
|
||||
[package]
|
||||
name = "kind-target-kdl"
|
||||
version = "0.1.1"
|
||||
description = "KDL target for the kind compiler"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
description = "KDL target for the kind compiler"
|
||||
name = "kind-target-kdl"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
kind-tree = { path = "../kind-tree", version = "0.1.1" }
|
||||
kind-report = { path = "../kind-report", version = "0.1.1" }
|
||||
kind-derive = { path = "../kind-derive", version = "0.1.1" }
|
||||
kind-derive = {path = "../kind-derive", version = "0.1.2"}
|
||||
kind-report = {path = "../kind-report", version = "0.1.2"}
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
kind-tree = {path = "../kind-tree", version = "0.1.2"}
|
||||
|
||||
fxhash = "0.2.1"
|
||||
im-rc = "15.1.0"
|
||||
kindelia_lang = "0.1.7"
|
||||
linked-hash-map = "0.5.6"
|
||||
tiny-keccak = "2.0.2"
|
||||
fxhash = "0.2.1"
|
||||
im-rc = "15.1.0"
|
||||
|
@ -1,23 +1,23 @@
|
||||
[package]
|
||||
name = "kind-tests"
|
||||
version = "0.1.1"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
name = "kind-tests"
|
||||
version = "0.1.2"
|
||||
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dev-dependencies]
|
||||
kind-driver = { path = "../kind-driver" }
|
||||
kind-parser = { path = "../kind-parser", version = "0.1.1" }
|
||||
kind-tree = { path = "../kind-tree", version = "0.1.1" }
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
kind-report = { path = "../kind-report", version = "0.1.1" }
|
||||
kind-checker = { path = "../kind-checker" }
|
||||
kind-pass = { path = "../kind-pass" }
|
||||
kind-checker = {path = "../kind-checker"}
|
||||
kind-driver = {path = "../kind-driver"}
|
||||
kind-parser = {path = "../kind-parser", version = "0.1.2"}
|
||||
kind-pass = {path = "../kind-pass"}
|
||||
kind-report = {path = "../kind-report", version = "0.1.2"}
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
kind-tree = {path = "../kind-tree", version = "0.1.2"}
|
||||
|
||||
kind-target-hvm = { path = "../kind-target-hvm" }
|
||||
kind-target-kdl = { path = "../kind-target-kdl" }
|
||||
kind-target-hvm = {path = "../kind-target-hvm"}
|
||||
kind-target-kdl = {path = "../kind-target-kdl"}
|
||||
|
||||
pretty_assertions = "1.3.0"
|
||||
ntest = "0.8.1"
|
||||
walkdir = "2"
|
||||
pretty_assertions = "1.3.0"
|
||||
walkdir = "2"
|
||||
|
@ -1,8 +1,8 @@
|
||||
[package]
|
||||
name = "kind-tree"
|
||||
version = "0.1.1"
|
||||
edition = "2021"
|
||||
license = "MIT"
|
||||
name = "kind-tree"
|
||||
version = "0.1.2"
|
||||
|
||||
description = "Syntatic trees for Kind compiler"
|
||||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
@ -10,6 +10,6 @@ description = "Syntatic trees for Kind compiler"
|
||||
[dependencies]
|
||||
hvm = "1.0.6"
|
||||
|
||||
kind-span = { path = "../kind-span", version = "0.1.1" }
|
||||
fxhash = "0.2.1"
|
||||
kind-span = {path = "../kind-span", version = "0.1.2"}
|
||||
linked-hash-map = "0.5.6"
|
||||
fxhash = "0.2.1"
|
Loading…
Reference in New Issue
Block a user