mirror of
https://github.com/Kindelia/Kind.git
synced 2024-09-11 08:55:36 +03:00
Created Getting Started (markdown)
parent
f1bec8bbd5
commit
70f71efe23
7
Getting-Started.md
Normal file
7
Getting-Started.md
Normal file
@ -0,0 +1,7 @@
|
||||
# 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
|
||||
|
||||
After the installation, the first thing that a lot of people do is to try to run examples from the README that will miserably fail because Kind cannot find some common definitions like `List` or `Sigma` or `Nat`. It happens because Kind tries to find these definitions in the current folder so in order to run it correctly we need to run it inside a place that has these definitions e.g [Wikind](https://github.com/HigherOrderCO/Wikind).
|
Loading…
Reference in New Issue
Block a user