EECS 662

Programming Languages

Index
Blog

Language Extension

The language extension to use GADTs in the most recent versions of GHC is:

{-# LANGUAGE GADTs #-}

Include this pragma at the top of your source files and the GADT notation I use in class will be available.