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

Isbell duality #322

Draft
wants to merge 10 commits into
base: main
Choose a base branch
from
Draft

Isbell duality #322

wants to merge 10 commits into from

Commits on Oct 25, 2023

  1. wip: Isbell duality

    @formrre
    formrre committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    ffe8409 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/main' into isbell-duality

    @formrre
    formrre committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    dc036b6 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. wip: move Isbell duality to Cat.Functor.Kan

    @formrre
    formrre committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    4f76d29 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/main' into isbell-duality

    @formrre
    formrre committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    10ef0b1 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2023

  1. Merge remote-tracking branch 'origin/main' into isbell-duality

    @formrre
    formrre committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    cbd067d View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. Merge remote-tracking branch 'origin/main' into isbell-duality

    @formrre
    formrre committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    ddd5174 View commit details
    Browse the repository at this point in the history

  2. wip: Isbell duality, prose start

    @formrre
    formrre committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    4972e32 View commit details
    Browse the repository at this point in the history

  3. wip: Second pass of Isbell duality prose

    @formrre
    formrre committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    5349e6a View commit details
    Browse the repository at this point in the history

  4. wip: Isbell duality, sort imports and full stops

    @formrre
    formrre committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    0ac0261 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2023

  1. Merge remote-tracking branch 'origin/main' into isbell-duality

    @formrre
    formrre committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    bb9991b View commit details
    Browse the repository at this point in the history