Geometry of Program Synthesis - James Clift; Daniel Murfet; James Wallbridge (2021)