a fun exercise is to write this in Dafny https://github.com/dafny-lang/dafny
It's simple enough to be attempted with a limited knowledge of Dafny, but subtle enough that you will need to think about what you are doing
It's simple enough to be attempted with a limited knowledge of Dafny, but subtle enough that you will need to think about what you are doing
No comments yet.