Contents

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

Version data entries

10 entries across 7 versions & 1 rubygems

Version	Path
zettacode-0.1.7	files.zettacode/hello_world.text/dafny.txt
zettacode-0.1.6	files.zettacode/hello_world.text/dafny.txt
zettacode-0.1.6	files.zettacode2/hello_world.text/dafny.txt
zettacode-0.1.5	files.zettacode/hello_world.text/dafny.txt
zettacode-0.1.5	files.zettacode2/hello_world.text/dafny.txt
zettacode-0.1.4	files.zettacode/hello_world.text/dafny.txt
zettacode-0.1.4	files.zettacode2/hello_world.text/dafny.txt
zettacode-0.1.3	files.zettacode/hello_world.text/dafny.txt
zettacode-0.1.2	files.zettacode/hello_world.text/dafny.txt
zettacode-0.1.1	zettacode.files/hello_world.text/dafny.txt