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

Smash products - symmetric monoidal structure #973

Merged
merged 29 commits into from
Jun 8, 2023
Merged

Smash products - symmetric monoidal structure #973

merged 29 commits into from
Jun 8, 2023

Commits on Feb 1, 2022

  1. t

    @aljungstrom
    aljungstrom committed Feb 1, 2022
    Configuration menu
    Copy the full SHA
    93d7248 View commit details
    Browse the repository at this point in the history

  2. m

    @aljungstrom
    aljungstrom committed Feb 1, 2022
    Configuration menu
    Copy the full SHA
    b4b6efb View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2022

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

    @aljungstrom
    aljungstrom committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    07e3f08 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2022

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

    @aljungstrom
    aljungstrom committed Jul 10, 2022
    Configuration menu
    Copy the full SHA
    c48e42c View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2022

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

    @aljungstrom
    aljungstrom committed Nov 14, 2022
    Configuration menu
    Copy the full SHA
    378fbe7 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2023

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

    @aljungstrom
    aljungstrom committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    ac0d53a View commit details
    Browse the repository at this point in the history

  2. pentagon

    @aljungstrom
    aljungstrom committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    2e13266 View commit details
    Browse the repository at this point in the history

  3. minor

    @aljungstrom
    aljungstrom committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    98de847 View commit details
    Browse the repository at this point in the history

  4. pointed

    @aljungstrom
    aljungstrom committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    eeed29e View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2023

  1. stuff

    @aljungstrom
    aljungstrom committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    95a1143 View commit details
    Browse the repository at this point in the history

  2. done (ugly)

    @aljungstrom
    aljungstrom committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    48bab79 View commit details
    Browse the repository at this point in the history

  3. minor

    @aljungstrom
    aljungstrom committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    28bbee4 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2023

  1. done

    @aljungstrom
    aljungstrom committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    e3caff8 View commit details
    Browse the repository at this point in the history

  2. whitespace...

    @aljungstrom
    aljungstrom committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    f87d30a View commit details
    Browse the repository at this point in the history

  3. clash

    @aljungstrom
    aljungstrom committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    51b6292 View commit details
    Browse the repository at this point in the history

  4. wups

    @aljungstrom
    aljungstrom committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    1ce0fc5 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2023

  1. bad name

    @aljungstrom
    aljungstrom committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    3119bc1 View commit details
    Browse the repository at this point in the history

  2. wups...

    @aljungstrom
    aljungstrom committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    c7aadf2 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2023

  1. done

    @aljungstrom
    aljungstrom committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    cc6ced2 View commit details
    Browse the repository at this point in the history

  2. duplicate

    @aljungstrom
    aljungstrom committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    e8244ac View commit details
    Browse the repository at this point in the history

  3. wups

    @aljungstrom
    aljungstrom committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    aadde33 View commit details
    Browse the repository at this point in the history

  4. rme

    @aljungstrom
    aljungstrom committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    17f3fc1 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2023

  1. ganea stuff

    @aljungstrom
    aljungstrom committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    9341710 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2023

  1. Merge branch 'newM'

    @aljungstrom
    aljungstrom committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    52429ff View commit details
    Browse the repository at this point in the history

  2. w

    @aljungstrom
    aljungstrom committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    ea75092 View commit details
    Browse the repository at this point in the history

  3. w

    @aljungstrom
    aljungstrom committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    3acc6b8 View commit details
    Browse the repository at this point in the history

  4. w

    @aljungstrom
    aljungstrom committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    227b10b View commit details
    Browse the repository at this point in the history

  5. fix

    @aljungstrom
    aljungstrom committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    0c4cc3d View commit details
    Browse the repository at this point in the history

  6. fix

    @aljungstrom
    aljungstrom committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    389ca6e View commit details
    Browse the repository at this point in the history