You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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. agda/agda#4431 (comment)
Some repositories may have their own
.hlint.yaml
files. It would be nice to support them.The text was updated successfully, but these errors were encountered: