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

[WIP] Convert from semantic to syntactic equality #589

Open
wants to merge 11 commits into
base: master
Choose a base branch
from
Open

[WIP] Convert from semantic to syntactic equality #589

wants to merge 11 commits into from

Commits on Oct 27, 2020

  1. alias eq mvp

    @basil-cow @nathanwhit
    basil-cow authored and nathanwhit committed Oct 27, 2020
    Copy the full SHA
    031768f View commit details
    Browse the repository at this point in the history

  2. expand coinductive reasoning

    @nikomatsakis @nathanwhit
    nikomatsakis authored and nathanwhit committed Oct 27, 2020
    Copy the full SHA
    0b02135 View commit details
    Browse the repository at this point in the history

  3. Fixup program clause folding

    @nathanwhit
    nathanwhit committed Oct 27, 2020
    Copy the full SHA
    cdd8852 View commit details
    Browse the repository at this point in the history

  4. Address review comments

    @nathanwhit
    nathanwhit committed Oct 27, 2020
    Copy the full SHA
    656146d View commit details
    Browse the repository at this point in the history

  5. Elaborate AliasEq goals

    @nathanwhit
    nathanwhit committed Oct 27, 2020
    Copy the full SHA
    9ac4195 View commit details
    Browse the repository at this point in the history

  6. Update test

    @nathanwhit
    nathanwhit committed Oct 27, 2020
    Copy the full SHA
    29da345 View commit details
    Browse the repository at this point in the history

  7. Cleanup/add comments

    @nathanwhit
    nathanwhit committed Oct 27, 2020
    Copy the full SHA
    21804d8 View commit details
    Browse the repository at this point in the history

  8. Lower function types

    @nathanwhit
    nathanwhit committed Oct 27, 2020
    Copy the full SHA
    a1e2c36 View commit details
    Browse the repository at this point in the history

  9. Emit EqGoals for projections / simplify

    @nathanwhit
    nathanwhit committed Oct 27, 2020
    Copy the full SHA
    63484d5 View commit details
    Browse the repository at this point in the history

  10. Fixup

    @nathanwhit
    nathanwhit committed Oct 27, 2020
    Copy the full SHA
    25031cb View commit details
    Browse the repository at this point in the history

  11. Fix comments

    @nathanwhit
    nathanwhit committed Oct 27, 2020
    Copy the full SHA
    04f0e4d View commit details
    Browse the repository at this point in the history