idris-0.9.9: test/test003/test003.lidr

> module Main

Import the literate module

> import Lit

> main : IO ()
> main = Lit.main