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

monoids and comonoids in a monoidal category #1953

Merged
merged 5 commits into from
May 14, 2024
Merged

monoids and comonoids in a monoidal category #1953

merged 5 commits into from
May 14, 2024

Commits on May 8, 2024

  1. monoids and comonoids 

    Signed-off-by: Ali Caglayan <alizter@gmail.com>
    @Alizter
    Alizter committed May 8, 2024
    Configuration menu
    Copy the full SHA
    26f1b3d View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. Merge branch 'master' into monoids

    @Alizter
    Alizter authored May 14, 2024
    Configuration menu
    Copy the full SHA
    ba9d77e View commit details
    Browse the repository at this point in the history

  2. fix stackoverflow with typeclass search 

    Signed-off-by: Ali Caglayan <alizter@gmail.com>
    @Alizter
    Alizter committed May 14, 2024
    Configuration menu
    Copy the full SHA
    cc00348 View commit details
    Browse the repository at this point in the history

  3. clarify monoidal assumption in comment 

    Signed-off-by: Ali Caglayan <alizter@gmail.com>
    @Alizter
    Alizter committed May 14, 2024
    Configuration menu
    Copy the full SHA
    74c937f View commit details
    Browse the repository at this point in the history

  4. make nattrans_flip more natural 

    Signed-off-by: Ali Caglayan <alizter@gmail.com>
    @Alizter
    Alizter committed May 14, 2024
    Configuration menu
    Copy the full SHA
    2301b2e View commit details
    Browse the repository at this point in the history