ICFP preparation and share repo