Hello World

module Posts.HelloWorld

%default total

Here is an example function that prints to the standard out:

function debug null byte compile syntax error protocol stack overflow cache memory leak parse integer void pointer exception handler runtime deploy code fragment database query optimize algorithm refactor git commit push merge conflict function debug null byte compile syntax error protocol stack overflow cache memory leak parse integer void pointer exception handler runtime deploy code fragment database query optimize algorithm refactor git commit push merge conflict function debug null byte compile syntax error protocol stack overflow cache memory leak parse integer void pointer exception handler runtime deploy code fragment database query optimize algorithm refactor git commit push merge conflict

main : IO ()
main = do
  putStrLn "Hello World"
  putStrLn "Hello \n with new lines \n world"
  putStrLn "And some other potential problem characters: * _"

And a function with some more stuff:

-- A regular comment

||| A doc comment
thingomizer : (a : String) -> IO ()
thingomizer a = 
  let xs = map (+ 1) [1, 2, 3, 4]
  in do
    putStrLn a
    printLn xs