HomeIsabelle/Phabricator

Support the "touch" built-in in the interpreter. c.f. ed4fbb81