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.

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

GHC2021 #380

Merged
merged 66 commits into from
Jan 18, 2021
Merged

GHC2021 #380

merged 66 commits into from
Jan 18, 2021

Commits on Nov 16, 2020

  1. Start the GHC2021 proposal

    nomeata committed Nov 16, 2020
    Configuration menu
    Copy the full SHA
    2684e57 View commit details
    Browse the repository at this point in the history
  2. Update 0000-ghc2021.rst

    nomeata committed Nov 16, 2020
    Configuration menu
    Copy the full SHA
    b245cfb View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    8127df3 View commit details
    Browse the repository at this point in the history
  4. Update table

    nomeata committed Nov 16, 2020
    Configuration menu
    Copy the full SHA
    97c7174 View commit details
    Browse the repository at this point in the history
  5. Include table

    nomeata committed Nov 16, 2020
    Configuration menu
    Copy the full SHA
    69f212d View commit details
    Browse the repository at this point in the history
  6. Link to raw data and sources

    nomeata committed Nov 16, 2020
    Configuration menu
    Copy the full SHA
    66923b4 View commit details
    Browse the repository at this point in the history
  7. Fix links

    nomeata committed Nov 16, 2020
    Configuration menu
    Copy the full SHA
    93f73f6 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2020

  1. Survey data

    nomeata committed Nov 24, 2020
    Configuration menu
    Copy the full SHA
    f9ba22d View commit details
    Browse the repository at this point in the history
  2. Table with links

    nomeata committed Nov 24, 2020
    Configuration menu
    Copy the full SHA
    e39e6d8 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2020

  1. Update 0000-ghc2021.rst

    nomeata committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    ca5260a View commit details
    Browse the repository at this point in the history
  2. Update 0000-ghc2021.rst

    nomeata committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    a02cd20 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2020

  1. More votes

    votes by @bravit
    nomeata committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    9d7c49f View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2020

  1. Update 0000-ghc2021.rst

    nomeata committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    443e36b View commit details
    Browse the repository at this point in the history
  2. Update 0000-ghc2021.rst

    nomeata committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    c948c55 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2020

  1. Iavor’s votes

    nomeata committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    8074dc3 View commit details
    Browse the repository at this point in the history
  2. SPJ’s votes

    nomeata committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    07c5659 View commit details
    Browse the repository at this point in the history
  3. Richards votes

    nomeata committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    cde220d View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2020

  1. updates

    nomeata committed Dec 1, 2020
    Configuration menu
    Copy the full SHA
    cccc50b View commit details
    Browse the repository at this point in the history
  2. Update vote

    nomeata committed Dec 1, 2020
    Configuration menu
    Copy the full SHA
    735cffe View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2020

  1. More votes

    nomeata committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    4866144 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2020

  1. Update votes

    nomeata committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    7c85630 View commit details
    Browse the repository at this point in the history
  2. Update votes

    nomeata committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    c88a65c View commit details
    Browse the repository at this point in the history
  3. Updated votes

    nomeata committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    4045334 View commit details
    Browse the repository at this point in the history
  4. A vote by Tom

    nomeata committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    5f55075 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    5b1b319 View commit details
    Browse the repository at this point in the history
  6. New votes

    nomeata committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    7dfc0e7 View commit details
    Browse the repository at this point in the history
  7. New votes

    nomeata committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    2c2522e View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2020

  1. New votes

    nomeata committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    ae8110b View commit details
    Browse the repository at this point in the history
  2. New votes

    nomeata committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    76829e9 View commit details
    Browse the repository at this point in the history
  3. New votes

    nomeata committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    ad22378 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2020

  1. New votes

    nomeata committed Dec 5, 2020
    Configuration menu
    Copy the full SHA
    737975a View commit details
    Browse the repository at this point in the history
  2. New votes

    nomeata committed Dec 5, 2020
    Configuration menu
    Copy the full SHA
    4e203fe View commit details
    Browse the repository at this point in the history
  3. New votes

    nomeata committed Dec 5, 2020
    Configuration menu
    Copy the full SHA
    0a455a1 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2020

  1. New votes

    nomeata committed Dec 6, 2020
    Configuration menu
    Copy the full SHA
    28005e9 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2020

  1. New votes

    nomeata committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    f505dca View commit details
    Browse the repository at this point in the history
  2. New votes

    nomeata committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    4609b3d View commit details
    Browse the repository at this point in the history
  3. New votes

    nomeata committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    d3184d6 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2020

  1. New votes

    nomeata committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    6153148 View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2020

  1. New votes

    nomeata committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    e798625 View commit details
    Browse the repository at this point in the history
  2. New votes

    nomeata committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    abe6acd View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2020

  1. New votes

    nomeata committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    49aec38 View commit details
    Browse the repository at this point in the history
  2. New votes

    nomeata committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    40bcee9 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2020

  1. New votes

    nomeata committed Dec 15, 2020
    Configuration menu
    Copy the full SHA
    51ea494 View commit details
    Browse the repository at this point in the history
  2. New votes

    nomeata committed Dec 15, 2020
    Configuration menu
    Copy the full SHA
    124a225 View commit details
    Browse the repository at this point in the history
  3. New votes

    nomeata committed Dec 15, 2020
    Configuration menu
    Copy the full SHA
    6283ffd View commit details
    Browse the repository at this point in the history
  4. New votes

    nomeata committed Dec 15, 2020
    Configuration menu
    Copy the full SHA
    31ccd87 View commit details
    Browse the repository at this point in the history
  5. New votes

    nomeata committed Dec 15, 2020
    Configuration menu
    Copy the full SHA
    48778a4 View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2020

  1. New votes

    nomeata committed Dec 17, 2020
    Configuration menu
    Copy the full SHA
    32cf826 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2020

  1. New votes

    nomeata committed Dec 23, 2020
    Configuration menu
    Copy the full SHA
    c2a3a2e View commit details
    Browse the repository at this point in the history
  2. New votes

    nomeata committed Dec 23, 2020
    Configuration menu
    Copy the full SHA
    34f50b6 View commit details
    Browse the repository at this point in the history
  3. New votes

    nomeata committed Dec 23, 2020
    Configuration menu
    Copy the full SHA
    08ca30f View commit details
    Browse the repository at this point in the history
  4. New votes

    nomeata committed Dec 23, 2020
    Configuration menu
    Copy the full SHA
    f159303 View commit details
    Browse the repository at this point in the history
  5. New votes

    nomeata committed Dec 23, 2020
    Configuration menu
    Copy the full SHA
    79ba223 View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2020

  1. New votes

    nomeata committed Dec 24, 2020
    Configuration menu
    Copy the full SHA
    00c15a3 View commit details
    Browse the repository at this point in the history

Commits on Dec 25, 2020

  1. New votes

    nomeata committed Dec 25, 2020
    Configuration menu
    Copy the full SHA
    bf2c88d View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2020

  1. New votes

    nomeata committed Dec 31, 2020
    Configuration menu
    Copy the full SHA
    d3058cf View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2021

  1. Fill in Proposed Change

    nomeata committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    d7c3fad View commit details
    Browse the repository at this point in the history
  2. Typo

    nomeata committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    5488185 View commit details
    Browse the repository at this point in the history
  3. move StarIsType

    nomeata committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    03317fe View commit details
    Browse the repository at this point in the history
  4. Point out MonadFailDesugaring

    nomeata committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    448f6c1 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    f01606c View commit details
    Browse the repository at this point in the history
  6. Finishing touches

    nomeata committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    2a5d741 View commit details
    Browse the repository at this point in the history
  7. Finishing touches

    nomeata committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    c049932 View commit details
    Browse the repository at this point in the history
  8. Finishing touches

    nomeata committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    4ce54f1 View commit details
    Browse the repository at this point in the history
  9. Finishing touches

    nomeata committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    6ee8094 View commit details
    Browse the repository at this point in the history
  10. Heh, don’t claim ownership

    nomeata committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    93220f7 View commit details
    Browse the repository at this point in the history