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

Document on primitive projections #57

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

Document on primitive projections #57

wants to merge 10 commits into from

Commits on Aug 31, 2021

  1. Document on primitive projections.

    @herbelin
    herbelin committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    7371fc8 View commit details
    Browse the repository at this point in the history

  2. More on "match" in primitive records.

    @herbelin
    herbelin committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    fd59dc9 View commit details
    Browse the repository at this point in the history

  3. Note on local definitions in primitive records.

    @herbelin
    herbelin committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    8227959 View commit details
    Browse the repository at this point in the history

  4. Adding links to issues about unfold and add a second new alternative.

    @herbelin
    herbelin committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    3237532 View commit details
    Browse the repository at this point in the history

  5. Link coercions and primitive projections.

    @herbelin
    herbelin committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    c22bf79 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2021

  1. Pros and cons about keeping "match" in primitive records or not

    @herbelin
    herbelin committed Sep 6, 2021
    Configuration menu
    Copy the full SHA
    061edd8 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2021

  1. Adding concrete syntax subchoices for Proj in the absence of a proper… 

    … Const.
    @herbelin
    herbelin committed Sep 7, 2021
    Configuration menu
    Copy the full SHA
    2c0ea2a View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2021

  1. Subchoice 2.3 about constraining delta-expansion of Const(f) for proj… 

    …ections.
    @herbelin
    herbelin committed Sep 9, 2021
    Configuration menu
    Copy the full SHA
    63b1aa3 View commit details
    Browse the repository at this point in the history

  2. Adding comparison behavior reduction strategies depending on proj rep… 

    …resentation.
    @herbelin
    herbelin committed Sep 9, 2021
    Configuration menu
    Copy the full SHA
    a4097b4 View commit details
    Browse the repository at this point in the history

  3. Corrections noticed by @Blaisorblade.

    @herbelin
    herbelin committed Sep 9, 2021
    Configuration menu
    Copy the full SHA
    fb50d81 View commit details
    Browse the repository at this point in the history