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

Constraint based arrow notation #303

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

Constraint based arrow notation #303

wants to merge 12 commits into from

Commits on Nov 30, 2019

  1. Add “Constraint based arrow notation” proposal

    @lexi-lambda
    lexi-lambda committed Nov 30, 2019
    Configuration menu
    Copy the full SHA
    24a3fee View commit details
    Browse the repository at this point in the history

  2. Add link to pull request

    @lexi-lambda
    lexi-lambda committed Nov 30, 2019
    Configuration menu
    Copy the full SHA
    8645b90 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2019

  1. Add detailed examples for handle and keyed

    @lexi-lambda
    lexi-lambda committed Dec 1, 2019
    Configuration menu
    Copy the full SHA
    fb78b94 View commit details
    Browse the repository at this point in the history

  2. Tweak the keyed example slightly, and fix a typo

    @lexi-lambda
    lexi-lambda committed Dec 1, 2019
    Configuration menu
    Copy the full SHA
    ff216c1 View commit details
    Browse the repository at this point in the history

  3. Fix the keyed example to actually work

    @lexi-lambda
    lexi-lambda committed Dec 1, 2019
    Configuration menu
    Copy the full SHA
    452203e View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2020

  1. Add bind example

    @lexi-lambda
    lexi-lambda committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    4ee23f9 View commit details
    Browse the repository at this point in the history

  2. Nix empty endorsements section

    @lexi-lambda
    lexi-lambda committed Jan 2, 2020
    Configuration menu
    Copy the full SHA
    f07c94b View commit details
    Browse the repository at this point in the history

Commits on May 1, 2020

  1. Make some minor updates to the proposal to reflect the implementation 

    Specifically, this adds a link to the GitLab MR for the implementation,
and it renames Env, ArrowEnv, and ArrowStack to ArrowEnv, ArrowEnvTup,
and ArrowStackTup, respectively, to be consistent with the names
as-implemented.
    @lexi-lambda
    lexi-lambda committed May 1, 2020
    Configuration menu
    Copy the full SHA
    9e1be2a View commit details
    Browse the repository at this point in the history

Commits on May 15, 2020

  1. Incorporate various parts of the discussion into the proposal

    @lexi-lambda
    lexi-lambda committed May 15, 2020
    Configuration menu
    Copy the full SHA
    8241f2a View commit details
    Browse the repository at this point in the history

Commits on May 19, 2020

  1. Minor tweaks to the Ott model 

    This incorporates several minor changes to the Ott model made on the
implementation branch.
    @lexi-lambda
    lexi-lambda committed May 19, 2020
    Configuration menu
    Copy the full SHA
    babc647 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2020

  1. Add section on the GHC 7.8 design rationale, at SPJ’s request

    @lexi-lambda
    lexi-lambda committed Jun 19, 2020
    Configuration menu
    Copy the full SHA
    ac25b4a View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2021

  1. Revise the proposal to split out a declarative system 

    This is not a full revision, since some of the proposal text still
refers to the old wording, the Ott model is not updated, and some things
need to be generally cleaned up. But it’s a step in the right direction.
    @lexi-lambda
    lexi-lambda committed Dec 5, 2021
    Configuration menu
    Copy the full SHA
    016f9c6 View commit details
    Browse the repository at this point in the history