git.iko.soy/type-level-sets
on master help sign in
documentation tweaks + cabal file added
commitdab85ce7128a5d0e2e602aa592c67d21b593c909 authorDominic Orchard <dom.orchard@gmail.com> dateThu 11 Sep 2014, 15:46 (12 years ago) parent021041f
1 file changed+2−2
type-level-sets.cabal+2−2
type-level-sets.cabal+2−2
@@ -3,8 +3,8 @@ version: 0.5
33synopsis: Type-level sets (with value-level counterparts and various operations)
44description:
55 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
7− and Tomas Petricek <http://www.cl.cam.ac.uk/~dao29/publ/haskell14-effects.pdf>
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> (Haskell Symposium, 2014)
88 .
99 Here is a brief example:
1010 .