This is awesome, I have been doing advent of code and trying to write some algorithms in Dafny. This came at a great time!!