Updated Getting Started (markdown)

Sofia Rodrigues 2023-04-08 16:08:36 -03:00
parent 70f71efe23
commit 9cc6d074dc

@ -1,5 +1,3 @@
# Getting Started
It's a guide for how you should install `Kind` with some details that are not in the README of the repository. The first thing that you should do is install the [Rust progrmaming language](https://www.rust-lang.org/), we are going to use the `nightly` toolchain because HVM needs some features that are not available in the stable version of Rust using the command `cargo +nightly install kind2`.
# After the installation