added descriptions.

README

@@ -1 +1,17 @@
+Explicit Sharing of Monadic Effects
+===================================
 
+This package implements a monad transformer for sharing monadic
+effects of monads for non-determinism.
+
+This package is available on Hackage:
+
+  http://hackage.haskell.org/cgi-bin/hackage-scripts/package/explicit-sharing
+
+This repository also contains two benchmark programs: permsort and
+naive reverse both for Haskell and Curry.
+
+Instructions on how to compile the benchmarks can be found in the
+corresponding source files.
+
+Regression tests can be found in Test.hs and run using 'cabal test'.

explicit-sharing.cabal

@@ -2,6 +2,11 @@ Name:          explicit-sharing
 Version:       0.1
 Cabal-Version: >= 1.6
 Synopsis:      Explicit Sharing of Monadic Effects
+Description:   
+
+  This package implements a monad transformer for sharing monadic
+  effects of monads for non-determinism.
+
 Category:      Control, Monads
 License:       PublicDomain
 License-File:  LICENSE