Back to Haskell.org
GSoC 2025

Qualified Imports and Alias Resolution in Liquid Haskell

Project details

Contributor

Xavier Góngora

Mentors

Facundo Domínguez

Technologies

Not listed in the archive