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

Refactor Data.List.Base.scan* and their properties #2395

Merged
merged 16 commits into from
May 30, 2024
Merged

Refactor Data.List.Base.scan* and their properties #2395

merged 16 commits into from
May 30, 2024

Commits on May 23, 2024

  1. refactor scanr etc.

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

  2. restore inits etc. but lazier; plus knock-on consequences

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

  3. more refactoring; plus knock-on consequences

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

  4. tidy up

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

Commits on May 27, 2024

  1. refactored into Base

    @jamesmckinna
    jamesmckinna committed May 27, 2024
    Configuration menu
    Copy the full SHA
    268fbb7 View commit details
    Browse the repository at this point in the history

  2. ... and Properties

    @jamesmckinna
    jamesmckinna committed May 27, 2024
    Configuration menu
    Copy the full SHA
    a74fba4 View commit details
    Browse the repository at this point in the history

  3. fix-up inits and tails

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

  4. fix up imports

    @jamesmckinna
    jamesmckinna committed May 27, 2024
    Configuration menu
    Copy the full SHA
    f2b1d61 View commit details
    Browse the repository at this point in the history

  5. knock-ons

    @jamesmckinna
    jamesmckinna committed May 27, 2024
    Configuration menu
    Copy the full SHA
    c7af1ef View commit details
    Browse the repository at this point in the history

  6. Andreas's suggestions

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

Commits on May 28, 2024

  1. further, better, refactoring is possible

    @jamesmckinna
    jamesmckinna committed May 28, 2024
    Configuration menu
    Copy the full SHA
    9fef63a View commit details
    Browse the repository at this point in the history

  2. yet further, better, refactoring is possible: remove explicit equatio… 

    …nal reasoning!
    @jamesmckinna
    jamesmckinna committed May 28, 2024
    Configuration menu
    Copy the full SHA
    b3d45a7 View commit details
    Browse the repository at this point in the history

  3. Update CHANGELOG.md 

    Fix deprecated names
    @jamesmckinna
    jamesmckinna authored May 28, 2024
    Configuration menu
    Copy the full SHA
    3f5ad53 View commit details
    Browse the repository at this point in the history

  4. Update Base.agda 

    Fix deprecations
    @jamesmckinna
    jamesmckinna authored May 28, 2024
    Configuration menu
    Copy the full SHA
    aa26560 View commit details
    Browse the repository at this point in the history

  5. Update Properties.agda 

    Fix deprecations
    @jamesmckinna
    jamesmckinna authored May 28, 2024
    Configuration menu
    Copy the full SHA
    f70cf4d View commit details
    Browse the repository at this point in the history

  6. Update CHANGELOG.md 

    Fix deprecated names
    @jamesmckinna
    jamesmckinna authored May 28, 2024
    Configuration menu
    Copy the full SHA
    0efdcd0 View commit details
    Browse the repository at this point in the history