idris-1.3.0: test/interpret003/interpret003.idr

import System

main : IO ()
main = exitFailure