finish icfp paper thing