Add Nix information from K readme here

runtimeverification / llvm-backend

KORE to llvm translation

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

34 stars 19 forks source link

Open Baltoli opened 5 days ago

Baltoli commented 5 days ago

The Nix setup for building K has a few caveats that we should reproduce in documentation here.