Free mini-course on programming with advanced Haskell type system features, September 5, Lowell, Massachusetts
Dear fellow Haskellers,
Galois will be teaching a one-day mini-course on programming with some
of the advanced type system features in recent GHCs, such as GADTs,
data kinds, and type families. The course will on September 5, 2018,
co-located with IFL 2018 at UMass Lowell.
There is no charge, and participants will be provided with lunch and
dinner free of charge. Registration is, however, required ahead of