« Changelog History


th-abstraction v0.2.10.0 Release Notes

Release Date: 2018-12-21 // over 5 years ago
    • Optimization: quantifyType now collapses consecutive foralls. For instance, calling quantifyType on forall b. a -> b -> T a now produces forall a b. a -> b -> T a instead of forall a. forall b. a -> b -> T a.