contification patent

[Henry Cejtin]

Just in case of any possible confusion, I certainly think that the patent should
be completely ignored.  I don't think that patents on these kinds of things
make any sense, and, what is probably more legally important, I can't believe
that even something like Rabbit doesn't constitute prior art.
As to the paper moving off the MLton mailing list, I would rather it stay
there, although I guess if I can just get cc'd in that would be fine to.
I guess it depends on how Suresh feels about it.