Very cool. Thank you for the summary -- it does look interesting. I like the use of a real programming language and level playing field in terms of capabilities. It would be awesome if it could be made into an OpenAI gym environment. Although OpenAI is python, so there would probably be quite a bit of code to integrate them properly. I bet it would give a significant infusion.