@@ -28,7 +28,7 @@ calculated just like any other value:
2828.. code-block:: idris
2929
3030 interpTy : Ty -> Type
31− interpTy TyInt = Int
31+ interpTy TyInt = Integer
3232 interpTy TyBool = Bool
3333 interpTy (TyFun A T) = interpTy A -> interpTy T
3434
@@ -270,7 +270,7 @@ function on user input:
270270 main : IO ()
271271 main = do putStr "Enter a number: "
272272 x <- getLine
273− print (interp [] fact (cast x))
273+ printLn (interp [] fact (cast x))
274274
275275Here, ``cast`` is an overloaded function which converts a value from
276276one type to another if possible. Here, it converts a string to an