/arm_turing

A simple proof that ARM's unconditional data transfer instructions are turing complete

Primary LanguageRust

No issues in this repository yet.