Contribute to osak/ICFPC2020 development by creating an account on GitHub.