autoapply v0.4 Release Notes
Release Date: 2020-05-06 // over 3 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)