[hwayne]

Dafny is a really fun language and I've done some stuff in it before. I was really sad when MSR stopped working on it, but I think AWS has picked up the slack?

[mazesc]

Yes, it's under heavy development, and is getting various improvements for usability. You probably want to take a look at the release notes.

[hwayne]

glee