[gambit-list] ICFP 2020 will be held ONLINE Aug 23-28