idris-0.9.11: test/literate001/test003.lidr

> module Main

Import the literate module

> import Lit

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