Fix kind install

This commit is contained in:
Yan Mendes 2023-05-09 18:13:39 -03:00 committed by GitHub
parent b09fadd441
commit 2db12fb88c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -57,7 +57,7 @@ For more examples, check the [Kindex](https://github.com/HigherOrderCO/Kindex).
First, install [Rust](https://www.rust-lang.org/tools/install) first, then enter:
```
cargo install kind2
cargo +nightly install kind2
```
Then, use any of the commands below: