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