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

Add Effect.Foldable and Data.List.Effectful.Foldable implementation #2300

Draft
wants to merge 14 commits into
base: master
Choose a base branch
from
Draft

Add Effect.Foldable and Data.List.Effectful.Foldable implementation #2300

wants to merge 14 commits into from

Commits on Feb 23, 2024

  1. draft initial implementation

    @jamesmckinna
    jamesmckinna committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    d2a7ee5 View commit details
    Browse the repository at this point in the history

  2. added List instances

    @jamesmckinna
    jamesmckinna committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    a1b575b View commit details
    Browse the repository at this point in the history

  3. fix module name

    @jamesmckinna
    jamesmckinna committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    3559055 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2024

  1. non-dependent instance for vec

    @jamesmckinna
    jamesmckinna committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    5aec64c View commit details
    Browse the repository at this point in the history

  2. tweak

    @jamesmckinna
    jamesmckinna committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    a71af57 View commit details
    Browse the repository at this point in the history

  3. added Nathan's morphism proofs

    @jamesmckinna
    jamesmckinna committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    a2b5679 View commit details
    Browse the repository at this point in the history

  4. add module for Vec

    @jamesmckinna
    jamesmckinna committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    d53e216 View commit details
    Browse the repository at this point in the history

  5. tweak imports

    @jamesmckinna
    jamesmckinna committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    009914a View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. removed dependency

    @jamesmckinna
    jamesmckinna committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    a8e9182 View commit details
    Browse the repository at this point in the history

  2. removed dependency; more permissive open

    @jamesmckinna
    jamesmckinna committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    8e7b7be View commit details
    Browse the repository at this point in the history

  3. simplify with a local definition of the hom

    @jamesmckinna
    jamesmckinna committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    815a7aa View commit details
    Browse the repository at this point in the history

  4. rename lemma; add a redundant lemma

    @jamesmckinna
    jamesmckinna committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    5856073 View commit details
    Browse the repository at this point in the history

  5. streamline import interface(s)

    @jamesmckinna
    jamesmckinna committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    68d1763 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. remove the word instance from any of the comments. Tighten imports.

    @JacquesCarette
    JacquesCarette committed May 3, 2024
    Configuration menu
    Copy the full SHA
    df2a304 View commit details
    Browse the repository at this point in the history