hintman
hintman copied to clipboard
Support custom `.hlint.yaml` files in repositories
Some repositories may have their own .hlint.yaml files. It would be nice to support them.
Yes, I would like to be able to pick the hints that hint-man applies. Not all of hlint's hints are compatible with the style of our project. https://github.com/agda/agda/issues/4431#issuecomment-583865209