Jump to content

Dafny (programming language)

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Sam Sailor (talk | contribs) at 11:47, 30 June 2018 (Redirecting to Dafny (♐)). The present address (URL) is a permanent link to this version.

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

Redirect page

Redirect to:

Dafny

This page is a redirect. The following categories are used to track and monitor this redirect:

From a page move: This is a redirect from a page that has been moved (renamed). This page was kept as a redirect to avoid breaking links, both internal and external, that may have been made to the old page name.

From currently unnecessary disambiguation: This is a redirect from a page name that has a currently unneeded disambiguation qualifier. Examples are:
- Jupiter (planet)Jupiter (unnecessary parenthetical qualifier)
- Paris, FranceParis (unnecessary comma-separated qualifier)
- Japanese Bobtail catJapanese Bobtail (unnecessary natural qualifier)
- Category:Redirects to disambiguation pages is a subcategory of this rcat's category. So this rcat should not be used on mainspace disambiguation redirects with "(disambiguation)" in the page title. Use {{R to disambiguation page}} instead.

When appropriate, protection levels are automatically sensed, described and categorized.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Dafny_(programming_language)&oldid=848201694"

Hidden categories: