Talk:Covariance-aware assertions

From EiffelStudio: an EiffelSoftware project
Revision as of 07:17, 23 April 2007 by Ericb (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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