Re:Dafny – A programming language with a program verifier
by Animats on Friday January 20, 2017 @04:02PM
(#13446948)
Thanks very much. It turns out the first one can be called with multiple args in the "expr" slot, so it has to be
but your code got me un-stuck.
[ Parent
| on HN ]
There are no comments on this comment yet.