diff --git a/report/basic.verb b/report/basic.verb index 12841f538245c8682a08a22ffb0f595fa900bbcb..742fb05ba432dfd284787920963dc258acfb6e19 100644 --- a/report/basic.verb +++ b/report/basic.verb @@ -506,7 +506,7 @@ The following @Prelude@ types are instances of @Enum@: \begin{itemize} \item Enumeration types: @()@, @Bool@, and @Ordering@. The semantics of these instances is given by Chapter~\ref{derived-appendix}. -For example, @[LT..]@ is the list @[LT,EQ,GT]@. +For example, @[LT ..]@ is the list @[LT,EQ,GT]@. \item @Char@: the instance is given in Chapter~\ref{stdprelude}, based on the primitive functions that convert between a @Char@ and an @Int@.