# ^

Jump to navigation
Jump to search

^ is an esolang by User:None1. It is the smallest esolang that is impossible to solve the halting problem.

## Commands

The only command

^

performs an infinite loop if this program halts otherwise it does nothing.

## Uncomputability proof

If this esolang in computable, consider this program:

^

If it halts, it will not halt, otherwise it will halt. So this esolang is uncomputable.

## Interpreter

It is of course impossible to make an interpreter because it is uncomputable.