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.

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

feat: condensedAb admits a closed symmetric monoidal structure #21

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

Commits on Jul 1, 2023

  1. initial

    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 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 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 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 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 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 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 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 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. 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 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 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 committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    836ed79 View commit details
    Browse the repository at this point in the history