Martin Henz

Results 104 issues of Martin Henz

This will allow us to retire `js-slang/src/vm/svml-machine.ts` (which is quite a terrible implementation). We shall keep the compiler, needed for robots.