魚拓のURL：https://megalodon.jp/2017-0606-1625-52/cs.stackexchange.com/questions/19577/what-can-idris-not-do-by-giving-up-turing-completeness

理由 （必須）

確認

ご入力内容は「個人情報のため」「わいせつ物のため」といった分類以外公開されませんので、ご安心ください。