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

Symmetric core of a relation #754

Merged
merged 21 commits into from
Sep 14, 2023
Merged

Symmetric core of a relation #754

merged 21 commits into from
Sep 14, 2023

Commits on Sep 11, 2023

  1. add file

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    d456b81 View commit details
    Browse the repository at this point in the history

  2. work

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    1e66054 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of github.com:UniMath/agda-unimath into symmetr… 

    …ic-core
    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    22800e1 View commit details
    Browse the repository at this point in the history

  4. adding further explanation

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    8e754a4 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. Merge branch 'master' of github.com:UniMath/agda-unimath into symmetr… 

    …ic-core
    @EgbertRijke
    EgbertRijke committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    480a1c6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:UniMath/agda-unimath into symmetr… 

    …ic-core
    @EgbertRijke
    EgbertRijke committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    deb57b2 View commit details
    Browse the repository at this point in the history

  3. make library compile

    @EgbertRijke
    EgbertRijke committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    1db6370 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. Merge branch 'master' of github.com:UniMath/agda-unimath into symmetr… 

    …ic-core
    @EgbertRijke
    EgbertRijke committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    49b63ba View commit details
    Browse the repository at this point in the history

  2. work

    @EgbertRijke
    EgbertRijke committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    8fbfb54 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of github.com:UniMath/agda-unimath into symmetr… 

    …ic-core
    @EgbertRijke
    EgbertRijke committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    1149bb8 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' of github.com:UniMath/agda-unimath into symmetr… 

    …ic-core
    @EgbertRijke
    EgbertRijke committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    8b3645c View commit details
    Browse the repository at this point in the history

  5. work

    @EgbertRijke
    EgbertRijke committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    9597126 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' of github.com:UniMath/agda-unimath into symmetr… 

    …ic-core
    @EgbertRijke
    EgbertRijke committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    a8a6ee2 View commit details
    Browse the repository at this point in the history

  7. work on 2-element types

    @EgbertRijke
    EgbertRijke committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    ce3b700 View commit details
    Browse the repository at this point in the history

  8. refactor 2-element types

    @EgbertRijke
    EgbertRijke committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    745daca View commit details
    Browse the repository at this point in the history

  9. the restriction-core adjunction of relations and symmetric relations

    @EgbertRijke
    EgbertRijke committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    5118e77 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. typos

    @EgbertRijke
    EgbertRijke committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    414728a View commit details
    Browse the repository at this point in the history

  2. Update src/foundation/symmetric-cores-binary-relations.lagda.md 

    Co-authored-by: Fredrik Bakke <[email protected]>
    @EgbertRijke @fredrik-bakke
    EgbertRijke and fredrik-bakke authored Sep 14, 2023
    Configuration menu
    Copy the full SHA
    6e2e72f View commit details
    Browse the repository at this point in the history

  3. Update src/foundation/symmetric-cores-binary-relations.lagda.md 

    Co-authored-by: Fredrik Bakke <[email protected]>
    @EgbertRijke @fredrik-bakke
    EgbertRijke and fredrik-bakke authored Sep 14, 2023
    Configuration menu
    Copy the full SHA
    c31f786 View commit details
    Browse the repository at this point in the history

  4. make pre-commit

    @EgbertRijke
    EgbertRijke committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    abd9b0e View commit details
    Browse the repository at this point in the history

  5. make pre-commit

    @EgbertRijke
    EgbertRijke committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    5b7dcfc View commit details
    Browse the repository at this point in the history