How to Compile the Dafny compiler

May 1, 2013 at 8:38 AM
Hi,

anyone knows how to compile the dafny compiler.


thanks
-asif