Skip to content

Commit

Permalink
feat: align {List/Array/Vector}.{foldl, foldr, foldlM, foldrM} lemm…
Browse files Browse the repository at this point in the history 
…as (#6707)

This PR completes aligning lemmas for `List` / `Array` / `Vector` about
`foldl`, `foldr`, and their monadic versions.
  • Loading branch information
@kim-em
kim-em authored Jan 20, 2025
1 parent e40e089 commit 57f0006
Show file tree
Hide file tree
Showing 3 changed files with 980 additions and 497 deletions.
Loading

0 comments on commit 57f0006

Please sign in to comment.