> you must use an assembly-like language, which isn’t even Turing-complete. Yikes. And then you go on to talk about how the contracts written in 'Turing Comple

> you must use an assembly-like language, which isn’t even Turing-complete. Yikes. And then you go on to talk about how the contracts written in 'Turing Complete' languages are gagged and can't call APIs. So why "Yikes"? Using turing complete DSLs for contracts is both unnecessary and problematic.