th-abstraction v0.2.6.0 Release Notes
Release Date: 2017-09-05 // over 6 years ago-
- 🛠 Fix bug in which
applySubstitution
andfreeVariables
would ignore type variables in the kinds of type variable binders.
- 🛠 Fix bug in which
applySubstitution
and freeVariables
would ignore
type variables in the kinds of type variable binders.