@@ -36,6 +36,13 @@ To check that installation has succeeded, and to write your first
36Idris program, create a file called “``hello.idr``” containing the
36Idris program, create a file called “``hello.idr``” containing the
37following text:
37following text:
44+ main = putStrLn "Hello world"
39If you are familiar with Haskell, it should be fairly clear what the
46If you are familiar with Haskell, it should be fairly clear what the
40program is doing and how it works, but if not, we will explain the
47program is doing and how it works, but if not, we will explain the
41details later. You can compile the program to an executable by
48details later. You can compile the program to an executable by