Seol mar théacs é seo: Machine learning for function synthesis