Talk:Covariance-aware assertions

Revision as of 22:17, 22 April 2007 by Ericb (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

--Ericb 09:17, 23 April 2007 (CEST): I raised this issue at the last ECMA meeting. I suggested using implies instead of and then. But no decision was made.

Retrieved from "https://dev.eiffel.com/index.php?title=Talk:Covariance-aware_assertions&oldid=8227"