message: Add instructions for running the REPL
diff: @@ -26,6 +26,28 @@ checking algorithm.
  [dependent-type-wikipedia]: https://en.wikipedia.org/wiki/Dependent_type
  +## Running the Pikelet REPL
  +
  +After cloning, the Pikelet REPL can be run using `cargo run repl` (you will need
  +to [install Rust](https://www.rust-lang.org/en-US/install.html) first):
  +
  +```
  +$ cargo run repl
  + ____ _ __ __ __
  + / __ \(_) /_____ / /__ / /_
  + / /_/ / / //_/ _ \/ / _ \/ __/ Version 0.1.0
  + / ____/ / ,< / __/ / __/ /_ https://github.com/brendanzab/pikelet
  +/_/ /_/_/|_|\___/_/\___/\__/ :? for help
  +
  +Pikelet> (\(a : Type) (x: a) => x) String "hello"
  +"hello" : #String
  +Pikelet> :t Type
  +Type 1
  +Pikelet> 1 : I16
  +1 : #I16
  +Pikelet>
  +```
  +
  ## Roadmap
  There's still a decent amount of work I want to do to Pikelet before I share it
  