more cabal work

obsidiansystems · Nov 17, 2010 · bb3d1d2 · bb3d1d2
1 parent 7bab78e
commit bb3d1d2
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/prim-uniq.cabal b/prim-uniq.cabal
@@ -10,10 +10,15 @@ maintainer:             James Cook <mokus@deepbondi.net>
 license:                PublicDomain
 homepage:               /dev/null
 
-category:               Data
+source-repository head
+  type:     darcs
+  location: http://code.haskell.org/~mokus/prim-uniq
+
+category:               Data, Dependent Types
 synopsis:               Opaque unique identifiers in primitive state monads
 description:            Opaque unique identifiers in primitive state monads 
-                        and ad-hoc GADTs based on them.
+                        and a GADT-like type using them as witnesses of type
+                        equality.
 
 Library
   hs-source-dirs:       src