[plt-scheme] contracts.ss: Class invariants?

From: Grant Rettke (grettke at acm.org)
Date: Thu May 17 00:05:57 EDT 2007

Is anyone looking at class invariants for the future in contracts?

It is not a deal breaker for me or anything, just wondering if that is
an interesting feature or not.


Posted on the users mailing list.