Add nix install info to README

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License

27 stars 5 forks source link

Add nix install info to README #383

Closed goodlyrottenapple closed 1 year ago

goodlyrottenapple commented 1 year ago

fixes https://github.com/runtimeverification/kup/issues/16

ChristianoBraga commented 1 year ago

@goodlyrottenapple @ehildenb In order to install KPlutus using kup it was necessary to nixify the project right? I tried installing kplutus with kup and it worked beautifully. Why don´t we add instructions for the kup installation instead?