Comment by agumonkey

maybe it's brainf**, the pointer heavy formally verified brainfuck dialect