I have a Bluetooth keyboard and iPad and hitting command+enter or ctrl+enter does not run the repl like it does on the desktop.