Update README.md

README.md

@@ -7,12 +7,4 @@
   demands on data structures so they can be manipulated and examined within
   Haskell.
 
-  StrictCheck can specify and test the strictness behavior of any Haskell
-  function—including higher-order ones—with only a constant factor of overhead,
-  and requires no boilerplate for testing functions on Haskell-standard algebraic
-  data types.
-
-  In the paper, we also demonstrate a non-trivial application of our library,
-  developing a correct specification of a data structure whose properties
-  intrinsically rely on subtle use of laziness: Okasaki's constant-time purely
-  functional queue.
+  For details, see the library on Hackage: <https://hackage.haskell.org/package/StrictCheck>.