rustanleino wrote:
Your programs verify for me, too, both online (http://rise4fun.com/Dafny/YCX0) and locally.Good, because I found that behavior quite surprising.
Btw, there is a new spiffy emacs mode for Dafny with installers for all platforms.Great!
We will release these shortly. Would you be in a position to use Dafny that way?Yes, I have been working exclusively in Emacs of late.