X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=GHC%2FArr.lhs;fp=GHC%2FArr.lhs;h=639405db2c2183134d779cf39720de6bf0f01173;hb=748003827970cfc57cb26db256b72d16e504bb37;hp=8a416530460162c356bc0699c6a051a66198cd11;hpb=487b9d4571a847ee0273b4627aaa135c46a51b8d;p=ghc-base.git

diff --git a/GHC/Arr.lhs b/GHC/Arr.lhs
index 8a41653..639405d 100644
--- a/GHC/Arr.lhs
+++ b/GHC/Arr.lhs
@@ -49,13 +49,13 @@ default ()
 -- An implementation is entitled to assume the following laws about these
 -- operations:
 --
--- * @'inRange' (l,u) i == 'elem' i ('range' (l,u))@
+-- * @'inRange' (l,u) i == 'elem' i ('range' (l,u))@ @ @
 --
 -- * @'range' (l,u) '!!' 'index' (l,u) i == i@, when @'inRange' (l,u) i@
 --
--- * @'map' ('index' (l,u)) ('range' (l,u))) == [0..'rangeSize' (l,u)-1]@
+-- * @'map' ('index' (l,u)) ('range' (l,u))) == [0..'rangeSize' (l,u)-1]@ @ @
 --
--- * @'rangeSize' (l,u) == 'length' ('range' (l,u))@
+-- * @'rangeSize' (l,u) == 'length' ('range' (l,u))@ @ @
 --
 -- Minimal complete instance: 'range', 'index' and 'inRange'.
 --