hintman icon indicating copy to clipboard operation
hintman copied to clipboard

Published 20 hours ago • verified publisher icon kowainik

Support custom `.hlint.yaml` files in repositories

Open chshersh opened this issue 6 years ago • 1 comments

Some repositories may have their own .hlint.yaml files. It would be nice to support them.

chshersh avatar Jul 22 '19 16:07 chshersh

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

andreasabel avatar Feb 11 '20 12:02 andreasabel