Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
30 lines (23 sloc) 489 Bytes

4.1

  • We can remove the Trustworthy claim and infer as Safe on modern GHCs.

4.0.2

  • Made := kind polymorphic.

4.0.1

  • Provided an explicit nominal RoleAnnotation.

4.0

  • Updated to work with semigroupoids 4.0

3.1.1

  • Claim to be Trustworthy

3.1

  • Disabled observing injectivity through TypeFamilies for GHC >= 7.6

3.0.1

  • Updated build system
  • Removed my personal intra-package dependency upper bounds
  • Added README and CHANGELOG