Setup Download the Rascal shell Jar rascal-shell-stable.jar here On MacOS Update rascal.sh with the directory where rascal-shell-stable.jar is located on your local machine. WarningMust be Java 17 or newer