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

Refactor graphs with updates from Beyond finite sets #879

Draft
wants to merge 12 commits into
base: master
Choose a base branch
from
Draft

Refactor graphs with updates from Beyond finite sets #879

wants to merge 12 commits into from

Commits on Oct 22, 2023

  1. updating files

    @EgbertRijke
    EgbertRijke committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    828dd0c View commit details
    Browse the repository at this point in the history

  2. update graph theory

    @EgbertRijke
    EgbertRijke committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    810b63c View commit details
    Browse the repository at this point in the history

  3. Update src/graph-theory/finite-undirected-graphs.lagda.md 

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

  4. use prop appropriately

    @EgbertRijke
    EgbertRijke committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    1b158a4 View commit details
    Browse the repository at this point in the history

  5. indentation

    @EgbertRijke
    EgbertRijke committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    282b42c View commit details
    Browse the repository at this point in the history

  6. Update src/graph-theory/walks-directed-graphs.lagda.md 

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

  7. fix

    @EgbertRijke
    EgbertRijke committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    9f168ef View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. work

    @EgbertRijke
    EgbertRijke committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    a5cb1af View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. work

    @EgbertRijke
    EgbertRijke committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    768e352 View commit details
    Browse the repository at this point in the history

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

    …r-graphs
    @EgbertRijke
    EgbertRijke committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    b5318ee View commit details
    Browse the repository at this point in the history

  3. work

    @EgbertRijke
    EgbertRijke committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    1cf6648 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Merge branch 'master' into refactor-graphs

    @fredrik-bakke
    fredrik-bakke authored Nov 9, 2023
    Configuration menu
    Copy the full SHA
    3b8f815 View commit details
    Browse the repository at this point in the history