ICFP materials in the repo