idris-0.99.1: test/interactive011/src/Foo.idr

module Foo

export
foo : IO ()
foo = putStrLn "Hello foo"