Changelog of @hackage/tyfam-witnesses 0.1.1.2

Known Bugs

  • Up to 0.1.1.2: You need to enable {-# LANGUAGE ScopedTypeVariables #-} in client modules
  • Up to 0.1.1.2: Operator-like (e.g. (&%$)) type families not supported yet
  • ghc-8.6.1 seems to have a bug w.r.t. this library

Version History

newest first

0.1.1.2 Support newest compilers (2018-11-12)

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

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)