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 Qualifiers to use records first #1052

Merged
merged 3 commits into from
Oct 16, 2024
Merged

update Qualifiers to use records first #1052

merged 3 commits into from
Oct 16, 2024

Commits on Oct 16, 2024

  1. update Qualifiers to use records first

    @wadler
    wadler committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    dec5818 View commit details
    Browse the repository at this point in the history

  2. remove more uses of extensionality

    @wadler
    wadler committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    4e77d1f View commit details
    Browse the repository at this point in the history

  3. Merge branch 'dev' into plfa-2024-10-16

    @wadler
    wadler authored Oct 16, 2024
    Configuration menu
    Copy the full SHA
    ddbf9c4 View commit details
    Browse the repository at this point in the history