Bitcoin and the claim of Total Turingness.

A lesson in designing Blockchain languages.