@@ -3,8 +3,8 @@ version: 0.5
3synopsis: Type-level sets (with value-level counterparts and various operations)
3synopsis: Type-level sets (with value-level counterparts and various operations)
4description:
4description:
5 This package provides type-level sets (no duplicates, sorted to provide a nomral form) via 'Set',
5 This package provides type-level sets (no duplicates, sorted to provide a nomral form) via 'Set',
6− with value-level counterparts. Described in the paper "Embedding effect systems in Haskell" by Dominic Orchard
6+ with value-level counterparts. Described in the paper \"Embedding effect systems in Haskell\" by Dominic Orchard
7− and Tomas Petricek <http://www.cl.cam.ac.uk/~dao29/publ/haskell14-effects.pdf>
7+ and Tomas Petricek <http://www.cl.cam.ac.uk/~dao29/publ/haskell14-effects.pdf> (Haskell Symposium, 2014)
9 Here is a brief example:
9 Here is a brief example: