Skip to content

Latest commit

 

History

History
14 lines (10 loc) · 722 Bytes

README.md

File metadata and controls

14 lines (10 loc) · 722 Bytes
Raw

ghc-typelits-extra

Build Status Hackage Hackage Dependencies

A GHC constraint-solver plugin that witnesses the injectivity of GHC.TypeLits.AppendSymbol. To use the plugin, add the

OPTIONS_GHC -fplugin GHC.TypeLits.AppendSymbol

pragma to the header of your file.