@@ -36,6 +36,13 @@ To check that installation has succeeded, and to write your first
3636Idris program, create a file called “``hello.idr``” containing the
3737following text:
3838
39+.. code-block:: idris
40+
41+ module Main
42+
43+ main : IO ()
44+ main = putStrLn "Hello world"
45+
3946If you are familiar with Haskell, it should be fairly clear what the
4047program is doing and how it works, but if not, we will explain the
4148details later. You can compile the program to an executable by