Skip to content

Instantly share code, notes, and snippets.

@paulkoerbitz

paulkoerbitz/idris-tabs-example

Created April 18, 2014 21:35
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 paulkoerbitz/11065466 to your computer and use it in GitHub Desktop.
Save paulkoerbitz/11065466 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
idris-tabs-example
module Main
ex1 : IO ()
ex1 = do
let s = "Hello, "
putStrLn $ s ++ ", world!"
main : IO ()
main = do
putStrLn "Hello, "
putStrLn " tabs!"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment