I made a little lambda calculus with super limited possible ASTs last summer to see if I could get a RL algo to learn to program in it. It failed horribly, but

I made a little lambda calculus with super limited possible ASTs last summer to see if I could get a RL algo to learn to program in it. It failed horribly, but it was fun and I learned a lot.