idris-1.1.0: test/interactive017/shebang.idr

#!/usr/bin/env runidris

main : IO ()
main = putStrLn "hello from C"