icfp25/addendum.pdf