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

Lists: porting several lemmas from other libraries #2479

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

Lists: porting several lemmas from other libraries #2479

wants to merge 13 commits into from
+558 −70

Commits on Sep 12, 2024

  1. Lists: irrelevance of membership (in unique lists)

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    5173136 View commit details
    Browse the repository at this point in the history

  2. Lists: the empty list is always a sublist of another

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    0324cda View commit details
    Browse the repository at this point in the history

  3. Lists: lookupMaybe (unsafe version of lookup)

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    651aeda View commit details
    Browse the repository at this point in the history

  4. List: concatMap⁺ for the subset relation

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    2fbf504 View commit details
    Browse the repository at this point in the history

  5. Lists: memberhsip lemma for AllPairs

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    0a89c7a View commit details
    Browse the repository at this point in the history

  6. Lists: membership lemmas for map∘filter

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    7224fa0 View commit details
    Browse the repository at this point in the history

  7. Lists: lemmas about concatMap

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    7689668 View commit details
    Browse the repository at this point in the history

  8. Lists: lemmas about deduplicate

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    3a64d8e View commit details
    Browse the repository at this point in the history

  9. Lists: membership lemmas about nested lists

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    d888195 View commit details
    Browse the repository at this point in the history

  10. Lists: extra subset lemmas about _∷_

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    c60e884 View commit details
    Browse the repository at this point in the history

  11. Lists: extra lemmas about _∷_/Unique

    @omelkonian
    omelkonian committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    e614c2a View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Lists: incorporate feedback from James

    @omelkonian
    omelkonian committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    49496df View commit details
    Browse the repository at this point in the history

  2. Lists: incorporate feedback from Guillaume

    @omelkonian
    omelkonian committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    0d54dec View commit details
    Browse the repository at this point in the history