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

feat: condensedAb admits a closed symmetric monoidal structure #21

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

feat: condensedAb admits a closed symmetric monoidal structure #21

wants to merge 13 commits into from

Commits on Jul 1, 2023

  1. initial

    @alexjbest @joneugster
    alexjbest authored and joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    7793fb8 View commit details
    Browse the repository at this point in the history

  2. done

    @alexjbest @joneugster
    alexjbest authored and joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    f7a93e5 View commit details
    Browse the repository at this point in the history

  3. studd

    @alexjbest @joneugster
    alexjbest authored and joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    7f12cc5 View commit details
    Browse the repository at this point in the history

  4. update

    @alexjbest @joneugster
    alexjbest authored and joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    e7e8e77 View commit details
    Browse the repository at this point in the history

  5. tweak

    @alexjbest @joneugster
    alexjbest authored and joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    2c89aa4 View commit details
    Browse the repository at this point in the history

  6. add file

    @joneugster
    joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    b2c1d79 View commit details
    Browse the repository at this point in the history

  7. add instances for Ab

    @joneugster
    joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    817b66d View commit details
    Browse the repository at this point in the history

  8. wip

    @adamtopaz @joneugster
    adamtopaz authored and joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    8aff4d7 View commit details
    Browse the repository at this point in the history

  9. blah

    @adamtopaz @joneugster
    adamtopaz authored and joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    96dfe80 View commit details
    Browse the repository at this point in the history

  10. cleanup file and define monoidal structure for condensedAb

    @joneugster
    joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    501d041 View commit details
    Browse the repository at this point in the history

  11. provide most data needed

    @joneugster
    joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    5503410 View commit details
    Browse the repository at this point in the history

  12. comments

    @joneugster
    joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    122247d View commit details
    Browse the repository at this point in the history

  13. more comments

    @joneugster
    joneugster committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    836ed79 View commit details
    Browse the repository at this point in the history