Skip to content
hlint

Remove the preference for ∧ as the dedicated monoid on Preds #413

Sign in to view logs

Remove the preference for ∧ as the dedicated monoid on Preds

Remove the preference for ∧ as the dedicated monoid on Preds #413

Triggered via pull request October 24, 2024 10:25
@shingarovshingarov
opened #715
shingarov:confusing-dedicated-monoid
Status Success
Total duration 33s
Artifacts –

hlint.yml

on: pull_request
hlint-3.8
23s
hlint-3.8
Fit to window
Zoom out
Zoom in