icfp25/README.md