Known Bugs

• Up to 0.1.1: You need to enable {-# LANGUAGE ScopedTypeVariables #-} in client modules
• Up to 0.1.1: Operator-like (e.g. (&%$)) type families not supported yet

Version History

newest first

0.1.1.1 Mention changelog.md in .cabal file (2017-10-14)

0.1.1 Bugfix, injective type families now allowed (2017-10-12)

0.1 Bugfixes (2017-10-12)

0.0.0.1 Documentation fixes (2017-10-08)

0.0 Initial release (2017-10-08)