autoapply v0.4.1 Release Notes
Release Date: 2020-08-26 // over 3 years ago-
- Fix tests in dist
Previous changes from v0.4
-
- 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)