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