In MMT/43fec2b39fba the mmt/scala subshell is somehow broken:
$ deploy/mmt
...
scala
user: 'scala'
It may take a few seconds for the Scala prompt to appear.
user: 'scala' finished
Nothing happens afterwards, no Scala REPL.
(This might be due to the update to scala-2.13.4, where a few Scala compiler/interpreter internals have changed.)
In MMT/43fec2b39fba the mmt/scala subshell is somehow broken:
Nothing happens afterwards, no Scala REPL.
(This might be due to the update to scala-2.13.4, where a few Scala compiler/interpreter internals have changed.)