[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
time.
For more information and to sign up, please visit
http://2018.iflconference.org/#course .
Please don't hesitate to reach out if you have any questions. Hope to see
you there!
David Christiansen
