HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-08-15 19:30:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #429 from Kindelia/experimental

Browse Source 
Fixed README and kind binary
This commit is contained in:
Felipe G 2022-12-01 11:35:26 -03:00 committed by GitHub
commit a25a1a0e8d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
README.md
View File

@ -25,7 +25,7 @@ map a b Nil f = Nil
map a b (Cons head tail) f = Cons (f head) (map tail f)
```
Side-effective programs are written via monadic monads, resembling [Rust](https://www.rust-lang.org/) and [TypeScript](https://www.typescriptlang.org/):
Side-effective programs are written via monads, resembling [Rust](https://www.rust-lang.org/) and [TypeScript](https://www.typescriptlang.org/):
```javascript
// Prints the double of every number up to a limit
@ -58,6 +58,13 @@ First, install [Rust](https://www.rust-lang.org/tools/install) first, then enter
cargo install kind2
```
### Warning:
New versions probably are not in `cargo`, so you can install the current version of kind2 by following these instructions:
1. Install Rust Nightly Toolchain
2. Clone the repository
3. `cargo install --path crates/kind-cli --force`
Then, use any of the commands below:
Command | Usage | Note

2
crates/kind-cli/Cargo.toml
View File

@ -8,7 +8,7 @@ license = "MIT"
keywords = ["functional", "language", "type-theory", "proof-assistant"]
[[bin]]
name = "kind"
name = "kind2"
path = "src/main.rs"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

1
rust-toolchain Normal file
View File

@ -0,0 +1 @@
nightly