id: "dafny" aliases: - "dfy" name: "Dafny" install: apt: - dafny - mono-runtime main: "main.dfy" template: | method Main() { print "Hello, world!\n"; } compile: | dafny main.dfy run: | mono main.exe