« Changelog History


haskell-names v0.2 Release Notes

    • Proper annotations for types and binding sites. NameContext now has a few new constructors.
    • 👍 Properly support n+k patterns
    • 🔦 Expose the Alg datatype for open name resolution
    • 🔦 Expose the HasOrigName class