Not Python, it looked like Standard ML, and the interpreter is quite good