Basic syntax highlighting

projects/Idris/src/Posts/HelloWorld.md

@@ -5,3 +5,27 @@ module Posts.HelloWorld
 
 %default total
 ```
+
+Here is an example function that prints to the standard out:
+
+```idris
+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:
+
+```idris
+-- 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
+```