alt Hacker NewsLooks interesting. I saw some C# files, from which it seems it is implemented in C#. Is there going to be an implementation in Dafny?
Looks interesting. I saw some C# files, from which it seems it is implemented in C#. Is there going to be an implementation in Dafny?
It could be done, but what would be the virtue of it? Most programming languages are not self-hoisted for a reason.