3 ms·Looks like it's a C version of Dafny.by compressedgas 3y agoLooks like it's a C version of Dafny.akiarie 3y agoA lot of truth to this. (Speaking as one of the creators of Xr0).