Seol mar théacs é seo: Synthesising graphics card programs from DSLs