Version History
############

_newest first_

`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)