[m-dev.] Re: assertions (was: Assocative predicates)

[Peter Schachte]

> Ah yes, I think you're right. (Although to make your example more plausible,
> the invariant would be that for every value, >= zero holds, where zero is
> a function of the type class).

Yup, that sounds right.  Sounds like we do need a new syntax.  Any ideas?

-Peter Schachte               | This sentence contradicts itself - no
mailto:pets at cs.mu.OZ.AU       | actually it doesn't.
http://www.cs.mu.oz.au/~pets/ |     -- Hofstadter 
PGP: finger pets at 128.250.37.3 |