idris-1.1.0: test/interactive017/TestMod.idr

module TestMod

export
test : IO ()
test = putStrLn "Hello from a module"