RosettaCodeData/Task/Hello-world-Text/Dafny/hello-world-text.dafny
2023-07-01 13:44:08 -04:00

4 lines
62 B
Text

method Main() {
print "hello, world!\n";
assert 10 < 2;
}