@@ -149,12 +149,11 @@ Idris prompt:
152− When displaying an element of ``Nat``,
152+ When displaying an element of ``Nat`` such as ``(S (S (S (S Z))))``,
153− such as ``(S (S (S (S Z))))``, for a user.
154− Idris displays it as 4 -- a more human readable format.
153+ Idris displays it as ``4``.
155 The result of ``plus (S (S Z)) (S (S Z))``
154 The result of ``plus (S (S Z)) (S (S Z))``
156 is actually ``(S (S (S (S Z))))``
155 is actually ``(S (S (S (S Z))))``
157− which is the natural number 4.
156+ which is the natural number ``4``.
158 This can be checked at the Idris prompt:
157 This can be checked at the Idris prompt: