September 1, 2026

Congratulations to Aaryan, who won second place in the ICFP 2026 Student Research Competition for his work on coverage types modulo equivalences!