autoapply v0.4 Release Notes

Release Date: 2020-05-06 // almost 4 years ago
    • Allow specifying if the types of potential arguments should subsume or just unify with the function's argument types
    • Respect constraints when passing arguments (ignoring type families)