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.

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

Generics details part 1 #553

Merged
merged 36 commits into from
Aug 11, 2021
Merged

Generics details part 1 #553

merged 36 commits into from
Aug 11, 2021

Commits on May 25, 2021

  1. Configuration menu
    Copy the full SHA
    112eae9 View commit details
    Browse the repository at this point in the history
  2. Update proposal description.

    josh11b committed May 25, 2021
    Configuration menu
    Copy the full SHA
    e77f3a8 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2021

  1. Copy in details.md

    josh11b committed May 26, 2021
    Configuration menu
    Copy the full SHA
    ef552e9 View commit details
    Browse the repository at this point in the history
  2. Remove template content

    josh11b committed May 26, 2021
    Configuration menu
    Copy the full SHA
    7956f38 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2021

  1. Update to new syntax.

    josh11b committed May 27, 2021
    Configuration menu
    Copy the full SHA
    eb25ccf View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2021

  1. Add some future work.

    josh11b committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    0ea3cc8 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2021

  1. Widget -> Song

    josh11b committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    f47adc7 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2021

  1. Configuration menu
    Copy the full SHA
    cccbe6c View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2021

  1. Checkpoint progress.

    josh11b committed Jun 25, 2021
    Configuration menu
    Copy the full SHA
    d2cd8b0 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2021

  1. Update terminology

    josh11b committed Jun 29, 2021
    Configuration menu
    Copy the full SHA
    b766a1e View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2021

  1. Configuration menu
    Copy the full SHA
    c5141d1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f2e0cac View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2021

  1. Fix link

    josh11b committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    db788b1 View commit details
    Browse the repository at this point in the history
  2. Fix headers

    josh11b committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    e0e5e53 View commit details
    Browse the repository at this point in the history
  3. Checkpoint progress.

    josh11b committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    2185517 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2021

  1. :$ -> :!

    josh11b committed Jul 9, 2021
    Configuration menu
    Copy the full SHA
    b80e73e View commit details
    Browse the repository at this point in the history
  2. Switch method syntax to #494

    josh11b committed Jul 9, 2021
    Configuration menu
    Copy the full SHA
    88cefb2 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    148ac6f View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2021

  1. Configuration menu
    Copy the full SHA
    c9bc1f8 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c371119 View commit details
    Browse the repository at this point in the history
  3. Merge remote-tracking branch 'refs/remotes/origin/generics-details-1'…

    … into generics-details-1
    josh11b committed Jul 28, 2021
    Configuration menu
    Copy the full SHA
    6e44d59 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    172e43b View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2021

  1. Configuration menu
    Copy the full SHA
    c73e546 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d236d14 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2021

  1. Configuration menu
    Copy the full SHA
    22157df View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d1f79c0 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2021

  1. Configuration menu
    Copy the full SHA
    7e59ac0 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2021

  1. Apply suggestions from code review

    Co-authored-by: Richard Smith <[email protected]>
    josh11b and zygoloid authored Aug 7, 2021
    Configuration menu
    Copy the full SHA
    ad110f6 View commit details
    Browse the repository at this point in the history
  2. Fix formatting

    josh11b committed Aug 7, 2021
    Configuration menu
    Copy the full SHA
    6aa0bd1 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2021

  1. Configuration menu
    Copy the full SHA
    b00896c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    057c85f View commit details
    Browse the repository at this point in the history
  3. Types are facets

    josh11b committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    31fdab9 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    bef0f43 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    9c615c5 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    d34b46d View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2021

  1. Update docs/design/generics/details.md

    Co-authored-by: Richard Smith <[email protected]>
    josh11b and zygoloid authored Aug 10, 2021
    Configuration menu
    Copy the full SHA
    ef134ff View commit details
    Browse the repository at this point in the history