3 ms·

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 4y ago
  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 4y ago
    glee