improve implementation of splitAt, take and drop. #2056
Merged
Commits on Aug 13, 2023
-
improve implementation of splitAt, take and drop. Seriously simplifie…
…s various proofs.
Commits on Aug 15, 2023
-
Remove some additional with calls that were not needed. Fix a number …
…of proofs to no longer need unfold-take nor unfold-drop (and these are now trivial as well). Simplify group somewhat as well.
Commits on Aug 16, 2023
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.