Search results

Loop structures
=={{header|Dafny}}== <syntaxhighlight lang="dafny"> ...

35 KB (5,040 words) - 13:31, 3 October 2023
Rosetta Code/Rank languages by number of users
...xpected to appear on the User page. However, in some cases it appears in a user Talk page. It's not necessary to take this into account. For instance, amon ex := `"Category:(.+?)( User)?"(\}|,"categoryinfo":\{"size":(\d+),)` ...

108 KB (10,272 words) - 17:26, 3 February 2024
Hello world/Text
\ in 'user mode' and it has its own R14, and anyway the operating system PROGRAM-ID. USER OUTPUT. ...

137 KB (16,869 words) - 19:21, 23 May 2024
100 doors
=={{header|Dafny}}== The InitializeDoors function demonstrates some of Dafny's advanced features. ...

418 KB (53,209 words) - 14:57, 8 June 2024