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

Const generics #2000

Merged
merged 12 commits into from
Sep 14, 2017
Merged

Const generics #2000

merged 12 commits into from
Sep 14, 2017

Commits on May 11, 2017

  1. Const generics.

    @withoutboats
    withoutboats committed May 11, 2017
    Configuration menu
    Copy the full SHA
    ac64358 View commit details
    Browse the repository at this point in the history

  2. Fix markdown?

    @withoutboats
    withoutboats committed May 11, 2017
    Configuration menu
    Copy the full SHA
    90cbc6d View commit details
    Browse the repository at this point in the history

  3. Fix markdown? (take 2)

    @withoutboats
    withoutboats committed May 11, 2017
    Configuration menu
    Copy the full SHA
    2ec7001 View commit details
    Browse the repository at this point in the history

  4. Fix diverse/diverge typo.

    @withoutboats
    withoutboats committed May 11, 2017
    Configuration menu
    Copy the full SHA
    2119312 View commit details
    Browse the repository at this point in the history

  5. Make psuedocode clearer.

    @withoutboats
    withoutboats committed May 11, 2017
    Configuration menu
    Copy the full SHA
    5cd2118 View commit details
    Browse the repository at this point in the history

  6. Fix typo.

    @withoutboats
    withoutboats committed May 11, 2017
    Configuration menu
    Copy the full SHA
    122fab1 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2017

  1. More typos.

    @withoutboats
    withoutboats committed May 12, 2017
    Configuration menu
    Copy the full SHA
    5a383d5 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2017

  1. Update RFC. 

    - Remove claims about syntactic identity, replace with more conservative
  choice
- Add unresolved questions
    @withoutboats
    withoutboats committed Sep 1, 2017
    Configuration menu
    Copy the full SHA
    5afdf55 View commit details
    Browse the repository at this point in the history

  2. Fix.

    @withoutboats
    withoutboats committed Sep 1, 2017
    Configuration menu
    Copy the full SHA
    aaf1982 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2017

  1. Update RFC text

    boats committed Sep 14, 2017
    Configuration menu
    Copy the full SHA
    dafc54e View commit details
    Browse the repository at this point in the history

  2. RFC 2000 is const generics! 🎉

    boats committed Sep 14, 2017
    Configuration menu
    Copy the full SHA
    bfd1df6 View commit details
    Browse the repository at this point in the history

  3. Rename file

    boats committed Sep 14, 2017
    Configuration menu
    Copy the full SHA
    40ce721 View commit details
    Browse the repository at this point in the history