th-abstraction v0.2.6.0 Release Notes

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