• frezik
      link
      fedilink
      arrow-up
      14
      ·
      9 months ago

      I could be wrong, but I don’t think the creators envisioned it being a basis for easily proving the Turing Completeness of other languages, but it did. They were more thinking “how can I have the most fucked up language in the smallest package and still be Turning Complete?”