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

Generic details 12: parameterized types #1146

Merged
merged 14 commits into from
Apr 28, 2022
Merged

Generic details 12: parameterized types #1146

merged 14 commits into from
Apr 28, 2022

Commits on Mar 21, 2022

  1. Configuration menu
    Copy the full SHA
    60f91b1 View commit details
    Browse the repository at this point in the history
  2. Specialization

    josh11b committed Mar 21, 2022
    Configuration menu
    Copy the full SHA
    8866a86 View commit details
    Browse the repository at this point in the history
  3. Title again

    josh11b committed Mar 21, 2022
    Configuration menu
    Copy the full SHA
    240a725 View commit details
    Browse the repository at this point in the history
  4. Finish first draft of design

    josh11b committed Mar 21, 2022
    Configuration menu
    Copy the full SHA
    e240d87 View commit details
    Browse the repository at this point in the history
  5. Type inequality

    josh11b committed Mar 21, 2022
    Configuration menu
    Copy the full SHA
    a9fb330 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2022

  1. Title case

    josh11b committed Mar 23, 2022
    Configuration menu
    Copy the full SHA
    cc4fdad View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2022

  1. Apply suggestions from code review

    Co-authored-by: Richard Smith <richard@metafoo.co.uk>
    josh11b and zygoloid authored Apr 8, 2022
    Configuration menu
    Copy the full SHA
    b59084a View commit details
    Browse the repository at this point in the history
  2. Formatting

    josh11b committed Apr 8, 2022
    Configuration menu
    Copy the full SHA
    e0e4e78 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f40452d View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    3900916 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2022

  1. Fix pre-commit

    josh11b committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    c5a4f54 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2022

  1. Implement suggestion

    josh11b committed Apr 18, 2022
    Configuration menu
    Copy the full SHA
    4676d39 View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2022

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

    Co-authored-by: Richard Smith <richard@metafoo.co.uk>
    josh11b and zygoloid authored Apr 28, 2022
    Configuration menu
    Copy the full SHA
    2934faa View commit details
    Browse the repository at this point in the history
  2. Update docs/design/generics/details.md

    Co-authored-by: Richard Smith <richard@metafoo.co.uk>
    josh11b and zygoloid authored Apr 28, 2022
    Configuration menu
    Copy the full SHA
    e91f62b View commit details
    Browse the repository at this point in the history