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: Imply Option #2180

Closed
wants to merge 10 commits into from
Closed

RFC: Imply Option #2180

wants to merge 10 commits into from

Commits on Oct 18, 2017

  1. Imply Option 

    My RFC for adding some function implimentation for the Option type akin to the `implies` operation from predicate logic.
    @Dynisious
    Dynisious committed Oct 18, 2017
    Configuration menu
    Copy the full SHA
    d7e0c0d View commit details
    Browse the repository at this point in the history

  2. Formatting 

    Formatted poorly displayed code and pseudo-code to display correctly and be legible.
    @Dynisious
    Dynisious authored Oct 18, 2017
    Configuration menu
    Copy the full SHA
    71adf99 View commit details
    Browse the repository at this point in the history

  3. Spelling Corrections 

    Fixed some spelling errors spotted by @Centril
    @Dynisious
    Dynisious authored Oct 18, 2017
    Configuration menu
    Copy the full SHA
    99ec896 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2017

  1. Improved Explanations 

    Expanded some areas of the RFC to better explain some areas which were confusing contributors.
    @Dynisious
    Dynisious authored Nov 13, 2017
    Configuration menu
    Copy the full SHA
    234a07f View commit details
    Browse the repository at this point in the history

  2. Syntax Error 

    My definitions in the summary didn't have semicolons. Not exactly an earth shattering issue but my as well fix it up.
    @Dynisious
    Dynisious authored Nov 13, 2017
    Configuration menu
    Copy the full SHA
    8c0c7eb View commit details
    Browse the repository at this point in the history

  3. More Syntax 

    More syntax fixing, I'm tired and it's 33 Celsius here.
    @Dynisious
    Dynisious authored Nov 13, 2017
    Configuration menu
    Copy the full SHA
    15c315c View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2017

  1. Update 0000-imply-option.md

    @Dynisious
    Dynisious authored Dec 2, 2017
    Configuration menu
    Copy the full SHA
    87e00cf View commit details
    Browse the repository at this point in the history

  2. Missed the actual trait in the implementation

    @Dynisious
    Dynisious authored Dec 2, 2017
    Configuration menu
    Copy the full SHA
    d30578e View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2017

  1. RFC Legal Double Reference 

    Added the Legal Double Reference RFC.
    @Dynisious
    Dynisious authored Dec 27, 2017
    Configuration menu
    Copy the full SHA
    c87c398 View commit details
    Browse the repository at this point in the history

  2. Delete 0000-legal-double-reference.md

    @Dynisious
    Dynisious authored Dec 27, 2017
    Configuration menu
    Copy the full SHA
    d9c9a08 View commit details
    Browse the repository at this point in the history