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

#!/usr/bin/env runidris-node

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