Talk:'Python' is not recognized

From Esolang
Jump to navigation Jump to search

Turing complete?

I'm sure this is turing complete. Here's proof.

Underload   This
(abc)       :a:b:c
:           =
^           _

Hammy (talk) 14:25, 15 November 2025 (UTC)

just because it's slightly the same to a language doesn't mean that it's turing complete #47
This is a proof by translation. Since there exists a corresponding program in this for every underload program it would be turing complete. There is a mistake though, because (abc) pushes every item within as one element meanwhile :a:b:c pushes the as individual elements. --Yayimhere2(school) (talk) 08:47, 16 January 2026 (UTC)
also this is outdated too
Underload  PINR
(abc)      "abc"
:          same thing
!          :?
^          _
s          |
User:Gaham (Discord:glebovsky_)

Could you try to explain the lambdas better? --Yayimhere2(school) (talk) 19:42, 16 January 2026 (UTC)