idris-1.1.0: test/interactive017/shebang-import.idr

#!/usr/bin/env runidris

import TestMod

main : IO ()
main = TestMod.test