We don't want to complicate the REPL - so no "build switching". Instead just allow users to assign ports to different DeviceIDs in app.json. Then users can start Krell on the corresponding port and it will only connect to that specific device. The caveat is there should only be one recompiling Krell REPL.
We don't want to complicate the REPL - so no "build switching". Instead just allow users to assign ports to different DeviceIDs in
app.json
. Then users can start Krell on the corresponding port and it will only connect to that specific device. The caveat is there should only be one recompiling Krell REPL.