th-abstraction v0.2.7.0 Release Notes
Release Date: 2018-06-18 // almost 6 years ago-
- 🛠 Fix bug in which data family instances with duplicate occurrences of type variables in the left-hand side would have redundant equality constraints in their contexts.