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

Peter Schachte pets at students.cs.mu.OZ.AU
Fri Apr 24 14:54:18 AEST 1998

> 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 | 

More information about the developers mailing list