Skip to content
Check PR body for changelog convention

feat: lemmas about pure for {List,Array,Vector}.{mapM,foldlM,foldrM,anyM,allM,findM?,findSomeM?} #7456

Sign in to view logs

feat: lemmas about pure for {List,Array,Vector}.{mapM,foldlM,foldrM,anyM,allM,findM?,findSomeM?}

feat: lemmas about pure for {List,Array,Vector}.{mapM,foldlM,foldrM,anyM,allM,findM?,findSomeM?} #7456

Triggered via pull request March 6, 2025 14:26
@eric-wiesereric-wieser
synchronize #7356
eric-wieser:fold_pure
Status Success
Total duration 9s
Artifacts –

pr-body.yml

on: pull_request
check-pr-body
1s
check-pr-body
Fit to window
Zoom out
Zoom in