made Nitpick work also for people who import "Plain" instead of "Main"
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLEa2736debeabd: make Nitpick output the message "Hint: Maybe you forgot a type constraint?"…
- Branches
- Unknown
- Tags