You are viewing a single comment's thread from:
RE: How to prevent another DAO disaster?
It seems the reason it is easier to write a test code for all cases is because the language is decidable rather than Turing complete. Btw the website seems a little shady and I would probably not order the presale.... lol
The website might look "shady" but its content is very solid.
The main developer, Ohad Asor, looks like he knows what he's talking about: