I was extremely curious what REPL this is, and it appears to be TXR: http://www.nongnu.org/txr/ http://www.nongnu.org/txr/ (My conclusion was based on finding

I was extremely curious what REPL this is, and it appears to be TXR: http://www.nongnu.org/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/txr/stdlib/getput.tl https://fossies.org/linux/misc/txr-176.tar.gz/txr-176/share/...)