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

H*(Kleinbottle,Z/2) #928

Merged
merged 11 commits into from
Sep 19, 2022
Merged

H*(Kleinbottle,Z/2) #928

merged 11 commits into from
Sep 19, 2022

Commits on Aug 29, 2022

  1. Merge https://github.com/agda/cubical into main

    @aljungstrom
    aljungstrom committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    cb469dd View commit details
    Browse the repository at this point in the history

  2. klein cup

    @aljungstrom
    aljungstrom committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    bc5cf39 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2022

  1. Merge https://github.com/agda/cubical into main

    @aljungstrom
    aljungstrom committed Sep 8, 2022
    Configuration menu
    Copy the full SHA
    7e0537c View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2022

  1. Merge https://github.com/agda/cubical into main

    @aljungstrom
    aljungstrom committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    62d46dc View commit details
    Browse the repository at this point in the history

  2. stuff

    @aljungstrom
    aljungstrom committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    01eef50 View commit details
    Browse the repository at this point in the history

  3. done

    @aljungstrom
    aljungstrom committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    0ec5ae1 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2022

  1. cleaner

    @aljungstrom
    aljungstrom committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    eeb82b8 View commit details
    Browse the repository at this point in the history

  2. done

    @aljungstrom
    aljungstrom committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    c53bca1 View commit details
    Browse the repository at this point in the history

  3. Merge https://github.com/agda/cubical into kleinRing

    @aljungstrom
    aljungstrom committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    0d922c6 View commit details
    Browse the repository at this point in the history

  4. wups

    @aljungstrom
    aljungstrom committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    967d6af View commit details
    Browse the repository at this point in the history

  5. minor

    @aljungstrom
    aljungstrom committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    6f157c5 View commit details
    Browse the repository at this point in the history