[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 128.250.37.3 |
More information about the developers
mailing list