It's Arc, and the program is an ancient prototype of https://github.com/akkartik/mu