RosettaCodeData/Task/Hello-world-Text/Dafny/hello-world-text.dafny
2017-09-25 22:28:19 +02:00

4 lines
62 B
Text

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