Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add drop-drop in Data.List.Properties #2043

Merged
merged 7 commits into from
Aug 20, 2023
Merged

Add drop-drop in Data.List.Properties #2043

merged 7 commits into from
Aug 20, 2023

Commits on Aug 3, 2023

  1. Add drop-drop in Data.List.Properties 

    Dropping m elements and then n elements is same as dropping n+m elements
    @Saransh-cpp
    Saransh-cpp committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    0be9346 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. Simplify the proof 

    Co-authored-by: G. Allais <[email protected]>
    @Saransh-cpp @gallais
    Saransh-cpp and gallais committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    09fc036 View commit details
    Browse the repository at this point in the history

  2. Fix comment

    @Saransh-cpp
    Saransh-cpp authored Aug 4, 2023
    Configuration menu
    Copy the full SHA
    13e88ef View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2023

  1. Rename drop-fusion and drop-drop-fusion to drop-drop

    @Saransh-cpp
    Saransh-cpp committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    808a584 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'drop-drop' of https:/Saransh-cpp/agda-stdlib … 

    …into drop-drop
    @Saransh-cpp
    Saransh-cpp committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    be4fa55 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2023

  1. Update CHANGELOG

    @Saransh-cpp
    Saransh-cpp committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    0d9317a View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. Merge branch 'master' into drop-drop

    @Saransh-cpp
    Saransh-cpp authored Aug 17, 2023
    Configuration menu
    Copy the full SHA
    167b840 View commit details
    Browse the repository at this point in the history