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

Expanding on the naming conventions #793

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

Expanding on the naming conventions #793

wants to merge 36 commits into from
+290 −91

Commits on Sep 21, 2023

  1. expanding naming conventions

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

  2. separate file for naming conventions

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

  3. separate file for naming conventions

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

  4. make pre-commit

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

  5. Merge branch 'master' of github.com:UniMath/agda-unimath into naming

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

  6. explaining the naming of underlying objects

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

  7. make pre-commit

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

  8. Update NAMING.md 

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

  9. fix broken links

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

  10. Merge branch 'naming' of github.com:EgbertRijke/agda-unimath into naming

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

  11. sectioning

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

  12. adding gregor

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

  13. make pre-commit

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

Commits on Sep 22, 2023

  1. further explaining our naming conventions

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

  2. make pre-commit

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

  3. further comments

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

  4. revised introduction

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

  5. update examples

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

  6. updating the general scheme

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

  7. incorporating some of Vojtech's comments

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

  8. Update NAMING-CONVENTIONS.md 

    Co-authored-by: Vojtěch Štěpančík <[email protected]>
    @EgbertRijke @VojtechStep
    EgbertRijke and VojtechStep authored Sep 22, 2023
    Configuration menu
    Copy the full SHA
    88a9226 View commit details
    Browse the repository at this point in the history

  9. Update NAMING-CONVENTIONS.md 

    Co-authored-by: Vojtěch Štěpančík <[email protected]>
    @EgbertRijke @VojtechStep
    EgbertRijke and VojtechStep authored Sep 22, 2023
    Configuration menu
    Copy the full SHA
    74e0697 View commit details
    Browse the repository at this point in the history

  10. Update NAMING-CONVENTIONS.md 

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

  11. Update NAMING-CONVENTIONS.md 

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

  12. make pre-commit

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

  13. Update NAMING-CONVENTIONS.md 

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

  14. make pre-commit

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

  15. list of common descriptors

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

  16. Update NAMING-CONVENTIONS.md 

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

  17. make pre-commit

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

  18. equiv and htpy in the table

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

Commits on Sep 23, 2023

  1. work

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

  2. merge conflicts

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

  3. explaining the goals

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

  4. predictability

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

  5. clarify use of

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