@@ -28,7 +28,7 @@ calculated just like any other value:
28.. code-block:: idris
28.. code-block:: idris
30 interpTy : Ty -> Type
30 interpTy : Ty -> Type
31− interpTy TyInt = Int
31+ interpTy TyInt = Integer
32 interpTy TyBool = Bool
32 interpTy TyBool = Bool
33 interpTy (TyFun A T) = interpTy A -> interpTy T
33 interpTy (TyFun A T) = interpTy A -> interpTy T
@@ -270,7 +270,7 @@ function on user input:
270 main : IO ()
270 main : IO ()
271 main = do putStr "Enter a number: "
271 main = do putStr "Enter a number: "
272 x <- getLine
272 x <- getLine
273− print (interp [] fact (cast x))
273+ printLn (interp [] fact (cast x))
275Here, ``cast`` is an overloaded function which converts a value from
275Here, ``cast`` is an overloaded function which converts a value from
276one type to another if possible. Here, it converts a string to an
276one type to another if possible. Here, it converts a string to an