Revision as of 11:10, 1 November 2023 edit Matthiaspaul (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 137,876 edits →Programming language implementations: removed overlinking ← Previous edit		Revision as of 21:27, 17 November 2023 edit undo Meak (talk \| contribs) 5 edits Update with the Dafny programming language (I am a Dafny contributor) Next edit →
Line 66: \|[[Clojure]] \|JavaScript \| \|- \|[https://dafny.org Dafny] \|[[Dafny (programming language)\|Dafny]] \|C#, [[JavaScript\|JS]], [[Java (programming language)\|Java]], C++, [[Go (programming language)\|Go]], [[Python (programming language)\|Python]] \| \|-

Source-to-source compiler: Difference between revisions