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

RFC: Constant generics (restricted Π types) for Rust, core RFC (v2) #1931

Closed
wants to merge 39 commits into from
Closed

RFC: Constant generics (restricted Π types) for Rust, core RFC (v2) #1931

wants to merge 39 commits into from

Commits on Jun 22, 2016

  1. rfc: Π-types

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    27c33a3 View commit details
    Browse the repository at this point in the history

  2. Expand the overview section

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    e4446c5 View commit details
    Browse the repository at this point in the history

  3. Propose alternative syntaxes

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    eb60cd3 View commit details
    Browse the repository at this point in the history

  4. Improve type inference with a new rule allowing direct substitution

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    71f2d8b View commit details
    Browse the repository at this point in the history

  5. Add section on impl unification

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    b355811 View commit details
    Browse the repository at this point in the history

  6. Add transitivity suggestion

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    a705532 View commit details
    Browse the repository at this point in the history

  7. Change syntax, add transitivity rule

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    946aa55 View commit details
    Browse the repository at this point in the history

  8. Add 'How we teach this'

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    d52e728 View commit details
    Browse the repository at this point in the history

  9. Fix the code example

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    551688c View commit details
    Browse the repository at this point in the history

  10. Add optional extension

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    ea92a57 View commit details
    Browse the repository at this point in the history

  11. s/baz/foo

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    1d8813b View commit details
    Browse the repository at this point in the history

  12. Use unicode for the lines

    @ticki
    ticki committed Jun 22, 2016
    Configuration menu
    Copy the full SHA
    d6a9b05 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2016

  1. Expand on the implication checking and the rules governing it

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    99b2005 View commit details
    Browse the repository at this point in the history

  2. Add subsection of 'motivation' dedicated to examples, at exit-point i… 

    …dentities
    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    60467c2 View commit details
    Browse the repository at this point in the history

  3. Expand motivation with aims

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    468f16a View commit details
    Browse the repository at this point in the history

  4. Double negation and division by zero handling

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    a01250c View commit details
    Browse the repository at this point in the history

  5. Prove decidability

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    817ec48 View commit details
    Browse the repository at this point in the history

  6. Thanks for the feedback, gnzlbg, killercup, and kennytm

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    d46f550 View commit details
    Browse the repository at this point in the history

  7. "Informalize" the rules

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    54e00af View commit details
    Browse the repository at this point in the history

  8. Fix some typos in Pi Types RFCs 

    Also changes the formatting of the FAQ a bit and makes all questions questions :)
    @killercup
    killercup authored Jun 23, 2016
    Configuration menu
    Copy the full SHA
    5718d4b View commit details
    Browse the repository at this point in the history

  9. Merge pull request #1 from killercup/patch-1 

    Fix some typos in Pi Types RFCs
    @ticki
    ticki authored Jun 23, 2016
    Configuration menu
    Copy the full SHA
    386de25 View commit details
    Browse the repository at this point in the history

  10. Add section on SMT-solvers, fix gnzlbg's notes

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    dc4635a View commit details
    Browse the repository at this point in the history

  11. Merge branch 'pi-types' of github.com:Ticki/rfcs into pi-types

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    d75674b View commit details
    Browse the repository at this point in the history

  12. Add remark

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    4e36bed View commit details
    Browse the repository at this point in the history

  13. Add section on possible extensions

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    b555120 View commit details
    Browse the repository at this point in the history

  14. Fix title on the second question

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    892e3d6 View commit details
    Browse the repository at this point in the history

  15. Add section on structural equality, add symbolic implication

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    754b944 View commit details
    Browse the repository at this point in the history

  16. Fix structural equality section

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    c7a2f28 View commit details
    Browse the repository at this point in the history

  17. Add alternative with inherited bounds

    @ticki
    ticki committed Jun 23, 2016
    Configuration menu
    Copy the full SHA
    9573c4d View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2016

  1. Move the SMT-section

    @ticki
    ticki committed Jun 24, 2016
    Configuration menu
    Copy the full SHA
    74ef189 View commit details
    Browse the repository at this point in the history

  2. Add Hoare-based value/type optional extension

    @ticki
    ticki committed Jun 24, 2016
    Configuration menu
    Copy the full SHA
    9f06922 View commit details
    Browse the repository at this point in the history

  3. Fix typos

    @ticki
    ticki committed Jun 24, 2016
    Configuration menu
    Copy the full SHA
    6b88ae5 View commit details
    Browse the repository at this point in the history

  4. Transcription rules for inequalities

    @ticki
    ticki committed Jun 24, 2016
    Configuration menu
    Copy the full SHA
    998c292 View commit details
    Browse the repository at this point in the history

  5. Clarify notation

    @ticki
    ticki committed Jun 24, 2016
    Configuration menu
    Copy the full SHA
    09aef59 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2016

  1. Typos

    @ticki
    ticki committed Jun 25, 2016
    Configuration menu
    Copy the full SHA
    0f3a499 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2016

  1. Fix typos

    @ticki
    ticki committed Jun 27, 2016
    Configuration menu
    Copy the full SHA
    2dbfe2d View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2017

  1. Pi types core RFC.

    @ticki
    ticki committed Feb 26, 2017
    Configuration menu
    Copy the full SHA
    41c8ff3 View commit details
    Browse the repository at this point in the history

  2. Π → Γ

    @ticki
    ticki committed Feb 26, 2017
    Configuration menu
    Copy the full SHA
    aaf7d55 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2017

  1. Add note on notation.

    @ticki
    ticki committed Mar 12, 2017
    Configuration menu
    Copy the full SHA
    9a9c028 View commit details
    Browse the repository at this point in the history