I think this looks like a very interesting approach to programming, like program...

cjohansson on July 25, 2018 | parent | context | favorite | on: Program Synthesis in 2017-18

I think this looks like a very interesting approach to programming, like programming a good programmer. Kind of like meta-programming but one step more meta