Copyright | (C) 2015-2016, University of Twente |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
Extensions |
|
To use the plugin, add the
{-# OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver #-}
pragma to the header of your file