RosettaCodeData/Task/Hello-world-Text/Dafny/hello-world-text.dafny

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