« Changelog History


call-alloy v0.2.0.6 Release Notes

    • 👍 allow parsing ' as part of words. (Especially skolem may return them if variable names in predicates to check are not unique.)
    • ➕ add version constraint for Win32
    • 👍 allow later versions of bytestring