doug/Main.lean

import Doug

-- def main : IO Unit :=
--   IO.println s!"Hello, {hello}!"
lake + some packages 2024-10-20 16:17:37 +09:00			`import Doug`

before creating custom monad & lake script to run main 2024-10-21 12:37:11 +09:00			`-- def main : IO Unit :=`
			`-- IO.println s!"Hello, {hello}!"`