I was extremely curious what REPL this is, and it appears to be TXR: http://www.nongnu.org/txr/

(My conclusion was based on finding file-get-string and file-put-string in https://fossies.org/linux/misc/txr-176.tar.gz/txr-176/share/...)