Back to Haskell.org
GSoC 2018

Dependently Typed Core Replacement in GHC

Project details

Contributor

Ningning Xie

Mentors

Richard Eisenberg

Technologies

Not listed in the archive