The miniMAL online REPL is here.