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

[Merged by Bors] - feat(algebra/category/Module): instances for modules over algebras #13933

Closed
wants to merge 12 commits into from
Closed

[Merged by Bors] - feat(algebra/category/Module): instances for modules over algebras #13933

wants to merge 12 commits into from

Commits on May 4, 2022

  1. feat(algebra/category/Module): instances for modules over algebras

    @semorrison
    semorrison committed May 4, 2022
    Configuration menu
    Copy the full SHA
    ac8fee6 View commit details
    Browse the repository at this point in the history

  2. another instance

    @semorrison
    semorrison committed May 4, 2022
    Configuration menu
    Copy the full SHA
    319de4a View commit details
    Browse the repository at this point in the history

  3. explicit universes

    @semorrison
    semorrison committed May 4, 2022
    Configuration menu
    Copy the full SHA
    19371f5 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2022

  1. Merge remote-tracking branch 'origin/master' into semorrison/Module_i… 

    …nstances
    @semorrison
    semorrison committed May 7, 2022
    Configuration menu
    Copy the full SHA
    fc5a2dd View commit details
    Browse the repository at this point in the history

  2. fix

    @semorrison
    semorrison committed May 7, 2022
    Configuration menu
    Copy the full SHA
    3683529 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2022

  1. def

    @semorrison
    semorrison committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    a0b865e View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into semorrison/Module_i… 

    …nstances
    @semorrison
    semorrison committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    6bfa456 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2022

  1. Merge remote-tracking branch 'origin/master' into semorrison/Module_i… 

    …nstances
    @semorrison
    semorrison committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    8d49bb9 View commit details
    Browse the repository at this point in the history

  2. lint

    @semorrison
    semorrison committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    fca58e2 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into semorrison/Module_i… 

    …nstances
    @semorrison
    semorrison committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    ad33085 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2022

  1. use localized

    @semorrison
    semorrison committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    0f22c1b View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into semorrison/Module_i… 

    …nstances
    @semorrison
    semorrison committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    eeba077 View commit details
    Browse the repository at this point in the history