Brainfuck interpreter in Idris