« Changelog History


type-fun v0.1.0 Release Notes

Release Date: 2016-04-27 // almost 8 years ago

  • ➕ Added

    • 🚚 Type family Substract to remove elements of one list from another
    • Unsafe helper functions to relax constraints in some safe points. But we use unsafeCoerce so this functions are potentially just break constants ### 🔄 Changed
    • Compilable under ghc-7.8