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

Add new module Effect.Functor.Naperian #2004

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

Add new module Effect.Functor.Naperian #2004

wants to merge 13 commits into from

Commits on Jun 21, 2023

  1. Upload new file Effect.Functor.Naperian to stdlib 

    with two records :
`RawNaperian` and `Naperian`
    @Sofia-Insa
    Sofia-Insa committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    1a86ef4 View commit details
    Browse the repository at this point in the history

  2. Update CHANGELOG.md 

    Added new file `Effect.Functor.Naperian` and two records to it
    @Sofia-Insa
    Sofia-Insa authored Jun 21, 2023
    Configuration menu
    Copy the full SHA
    0dd5051 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2023

  1. Merge branch 'task2-Naperian' of https://github.com/Sofia-Insa/agda-s… 

    …tdlib into task2-Naperian
    @Sofia-Insa
    Sofia-Insa committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    af6d2dc View commit details
    Browse the repository at this point in the history

  2. Update CHANGELOG.md

    @Sofia-Insa
    Sofia-Insa authored Jun 22, 2023
    Configuration menu
    Copy the full SHA
    eba481c View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2024

  1. updated CHANGELOG

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

  2. added note

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

  3. Merge branch 'master' into task2-Naperian

    @jamesmckinna
    jamesmckinna authored Mar 17, 2024
    Configuration menu
    Copy the full SHA
    d76c8df View commit details
    Browse the repository at this point in the history

  4. hopefully now fixed merge conflict with up-to-date CHANGELOG

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

  5. restored original details to CHANGELOG

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

  6. review comments from me

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

Commits on May 6, 2024

  1. Merge branch 'master' into task2-Naperian

    @JacquesCarette
    JacquesCarette authored May 6, 2024
    Configuration menu
    Copy the full SHA
    775560f View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Setoid version of Naperian -- needs another pair of eyes.

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

  2. whitespace

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