Links for program-synthesis