Version History ############
newest first
0.1.1 Bugfix, injective type families now allowed (2017-10-12)
0.1.1
0.1 Bugfixes (2017-10-12)
0.1
0.0.0.1 Documentation fixes (2017-10-08)
0.0.0.1
0.0 Initial release (2017-10-08)
0.0