Agda-2.3.2.2: test/fail/Interaction-and-input-file.agda

module Interaction-and-input-file where