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

Linear types amendment: Linear lets #624

Merged
merged 7 commits into from Feb 21, 2024
Merged

Linear types amendment: Linear lets #624

merged 7 commits into from Feb 21, 2024

Commits on Nov 24, 2023

  1. Linear types: add section numbers

    @aspiwack
    aspiwack committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    41e8f04 View commit details
    Browse the repository at this point in the history

  2. Linear types: specify linear lets

    @aspiwack
    aspiwack committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    a1e381a View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Implement suggestions from reviews

    @aspiwack
    aspiwack committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    76b63ff View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. Richard's suggestions 

    Co-authored-by: Richard Eisenberg <rae@richarde.dev>
    @aspiwack @goldfirere
    aspiwack and goldfirere committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    a057ce6 View commit details
    Browse the repository at this point in the history

  2. More Richard suggestions

    @aspiwack
    aspiwack committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    b986966 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. Alternative: fewer restrictions on patterns

    @aspiwack
    aspiwack committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    d9be95b View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2024

  1. Preemptively take the latest committee deliberation into account

    @aspiwack
    aspiwack committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    93aab2d View commit details
    Browse the repository at this point in the history