Revision as of 21:35, 4 December 2009 edit SineBot (talk \| contribs) Bots 2,564,872 edits m Signing comment by Jdinolt - "→Link to Assertion (computing): " ← Previous edit		Revision as of 20:00, 6 December 2009 edit undo PJTraill (talk \| contribs) Extended confirmed users 1,977 edits →Link to Assertion (computing): Now updated Next edit →
Line 13: * I disagree re: the unhelpfulness of the link to [[Assertion (computing)]] since that's exactly what "predicate" means in the context of "predicate transformer semantics". --[[User:Jdinolt\|Jdinolt]] ([[User talk:Jdinolt\|talk]]) 21:28, 4 December 2009 (UTC) ** Actually I retract. The page for [[Assertion (computing)]] has changed a lot since I initially put that link in. <small><span class="autosigned">—Preceding [[Wikipedia:Signatures\|unsigned]] comment added by [[User:Jdinolt\|Jdinolt]] ([[User talk:Jdinolt\|talk]] • [[Special:Contributions/Jdinolt\|contribs]]) 21:33, 4 December 2009 (UTC)</span></small><!-- Template:Unsigned --> <!--Autosigned by SineBot--> * In the meantime, I have changed the link. Of course, assertions (in the programming sense) are also worth linking too, but not at that particular point, I feel.

Talk:Predicate transformer semantics: Difference between revisions