1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8

#!/usr/bin/env fish
# Stupid shim to make the Dafny VSCode extension use a nix-ld'd binary
if test $argv[1] = "--list-runtimes"
    echo Microsoft.NETCore.App 69.0.0
else
    set dafny_dir (path dirname $argv[1])
    exec $dafny_dir/dafny $argv[2..]
end