On 1/8/07, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
+    Set       Subset    subset                  .any === X.all
+    Set       Superset  superset                .any === X.all

I think these should be reversed.  Since function application is
commonly read "of", this:

   Set(2,3) ~~ Subset(1,2,3)

is likely to be read as "The set of (2,3) is a subset of (1,2,3)".   Similarly:

   given $set {
       when Subset(1,2,3) {...}
   }

is likely to be read "when it's a subset of (1,2,3)".

Luke

Reply via email to