Skip to content

Instantly share code, notes, and snippets.

@steshaw

steshaw/hello.idr

Created September 9, 2020 05:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save steshaw/f05562d4729f3f1819bbabf80adb867f to your computer and use it in GitHub Desktop.
Save steshaw/f05562d4729f3f1819bbabf80adb867f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
hello.idr
module Main
foo : IO ()
foo = putStrLn "foo"
data Foo = Foo1 | Foo2
data Bar = Bar1 | Bar2
barify : Foo -> Bar
main : IO ()
main = do
foo
putStrLn "Hello world"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment