[gambit-list] Problem with interactive development using remote REPL of iOS Sim.