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

Update PLFA to use Agda v2.7 #1028

Merged
merged 11 commits into from
Sep 5, 2024
Merged

Update PLFA to use Agda v2.7 #1028

merged 11 commits into from
Sep 5, 2024

Commits on Aug 28, 2024

  1. port to agda-2.6.0 and stdlib-2.1.

    @JacquesCarette
    JacquesCarette committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    38db197 View commit details
    Browse the repository at this point in the history

  2. port parts 2 and 3 to agda-2.7 and stdlib-2.1

    @JacquesCarette
    JacquesCarette committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    ef72a5b View commit details
    Browse the repository at this point in the history

  3. fix items asked for. Also use contradiction more pervasively.

    @JacquesCarette
    JacquesCarette committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    a289b42 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Fixes

    @wenkokke
    wenkokke committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    0918a5c View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Use pinned version

    @wenkokke
    wenkokke committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    23d71c4 View commit details
    Browse the repository at this point in the history

  2. Drop older versions

    @wenkokke
    wenkokke committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    25c1441 View commit details
    Browse the repository at this point in the history

  3. Bump GHC versions

    @wenkokke
    wenkokke committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    2041a22 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'dev' into feature-v2.7

    @wenkokke
    wenkokke authored Sep 5, 2024
    Configuration menu
    Copy the full SHA
    a0588a8 View commit details
    Browse the repository at this point in the history

  5. Limit concurrency

    @wenkokke
    wenkokke committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    dbff4f9 View commit details
    Browse the repository at this point in the history

  6. Write post and update README

    @wenkokke
    wenkokke committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    53cc11b View commit details
    Browse the repository at this point in the history

  7. Fix erroneous deletion

    @wenkokke
    wenkokke committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    0896eff View commit details
    Browse the repository at this point in the history