diff --git a/.hlint.yaml b/.hlint.yaml index 74ee47406..17c27a153 100644 --- a/.hlint.yaml +++ b/.hlint.yaml @@ -11,6 +11,7 @@ - {name: tail, within: []} - {name: init, within: []} - {name: last, within: []} + - {name: fromJust, within: []} # Replace a $ b $ c with a . b $ c - group: {name: dollar, enabled: true}