[Added more documentation about time-outs.
nad**20050519144306
 Added more documentation about time-outs.
 Noted that the library is developed under GHC 6.2.
 
] {
hunk ./ChasingBottoms/Header 48
-be able to apply a timeout:
+be able to apply a time-out:
hunk ./ChasingBottoms/Header 54
+The time-out functionality can be used to treat \"slow\" computations as
+bottoms:
+
+  [@> let ?approxDepth = Just 5; ?timeOutLimit = Just 2 in (reverse [1..\], [1..\]) ==? (bottom :: [Int\], [1..\] :: [Int\])@] @True@
+
+  [@> let ?approxDepth = Nothing; ?timeOutLimit = Just 2 in (reverse [1..\], True) \\\/? ([\] :: [Int\], bottom)@] @Just ([],True)@
+
+That can of course be dangerous:
+
+  [@> let ?approxDepth = Nothing; ?timeOutLimit = Just 0 in reverse [1..100000000\] ==? (bottom :: [Integer\])@] @True@
+
hunk ./ChasingBottoms/Header 84
-The code is developed and tested under GHC. Most parts can probably be
+The code is developed and tested under GHC 6.2. Most parts can probably be
}