Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 30, 2018

• Sip/underscoreless (#1090)

  

  som-snytt

  authored and

  jvican

  committed
  db7efad

  Copy full SHA for db7efad

Commits on Jun 13, 2018

• Fix minutes date

  julienrf

  committed
  d8949a9

  Copy full SHA for d8949a9

• Merge pull request #1084 from darjutak/master

  Show description for e42750f
  heathermiller

  authored
  e42750f

  Copy full SHA for e42750f

• Update 2018-06-18-sip-minutes.md

  darjutak

  authored
  a7fbbaa

  Copy full SHA for a7fbbaa

Commits on Jun 12, 2018

• Update 2018-06-18-sip-minutes.md

  darjutak

  authored
  1e88d53

  Copy full SHA for 1e88d53

Commits on Jun 11, 2018

• Update 2018-06-18-sip-minutes.md

  darjutak

  authored
  4b8ee46

  Copy full SHA for 4b8ee46

• Rename 2018-06-18-sup-minutes.md to 2018-06-18-sip-minutes.md

  darjutak

  authored
  7cccddc

  Copy full SHA for 7cccddc

• Update 2018-06-18-sup-minutes.md

  darjutak

  authored
  72528ed

  Copy full SHA for 72528ed

• Update 2018-06-18-sup-minutes.md

  darjutak

  authored
  f7213df

  Copy full SHA for f7213df

• Update 2018-06-18-sup-minutes.md

  darjutak

  authored
  915b1f4

  Copy full SHA for 915b1f4

• Rename 2018-5-18.md to 2018-06-18-sup-minutes.md

  darjutak

  authored
  4c3869e

  Copy full SHA for 4c3869e

• Update 2018-5-18.md

  darjutak

  authored
  85f52cb

  Copy full SHA for 85f52cb

• Rename 2018-5-18 to 2018-5-18.md

  darjutak

  authored
  495128a

  Copy full SHA for 495128a

• Update 2018-5-18

  darjutak

  authored
  ce89a14

  Copy full SHA for ce89a14

• May 2018 SIP Meeting Berlin

  darjutak

  authored
  aedff1a

  Copy full SHA for aedff1a

Commits on Jun 1, 2018

• Mini-SIP for case if (#1076)

  

  som-snytt

  authored and

  jvican

  committed
  c6d2d86

  Copy full SHA for c6d2d86

Commits on Apr 27, 2018

• Propose fix some typos and rm trailing whitespace

  jeis2497052

  committed
  68b518c

  Copy full SHA for 68b518c

Commits on Apr 18, 2018

• Removed leftover of previous proof.

  milessabin

  committed
  5d510d6

  Copy full SHA for 5d510d6

• Updated link to induction heuristics PR.

  milessabin

  committed
  1726413

  Copy full SHA for 1726413

Commits on Apr 17, 2018

• Updated termination proof, non-lazy desugaring, incorporated feedback on covering-set criterion from Martin.

  milessabin

  committed
  160d473

  Copy full SHA for 160d473

Commits on Apr 2, 2018

• Make the link checker pass

  jvican

  committed
  c4edc23

  Copy full SHA for c4edc23

• Fix link broken by rename of file

  jvican

  committed
  179402e

  Copy full SHA for 179402e

• Add redirect_froms in all the SIPs

  jvican

  committed
  6ab4af4

  Copy full SHA for 6ab4af4

Commits on Mar 27, 2018

• Also redirect sips/pending to new url

  adriaanm

  authored
  8f5426d

  Copy full SHA for 8f5426d

• Drop `sips/pending` redirect_from (#872)

  adriaanm

  authored
  7ef247d

  Copy full SHA for 7ef247d

• Drop sips/pending redirect_from (see #872)

  adriaanm

  authored
  dc9eabb

  Copy full SHA for dc9eabb

Commits on Mar 8, 2018

• Some more opaque type SIP improvements (#1030)

  Show description for 7adf909
  

  non

  authored and

  jvican

  committed
  7adf909

  Copy full SHA for 7adf909

• Simplified algorithm, motivating example, promissory note. (#1031)

  

  milessabin

  authored and

  jvican

  committed
  555c6ae

  Copy full SHA for 555c6ae

Commits on Jan 31, 2018

• Set vote-status to 'complete', fixes scala/docs.scala-lang/issues/1001 (#1008)

  

  Philippus

  authored and

  jvican

  committed
  c4ba279

  Copy full SHA for c4ba279

Commits on Jan 23, 2018

• New SIP: Byname implicit arguments. (#1002)

  

  milessabin

  authored and

  jvican

  committed
  00f9632

  Copy full SHA for 00f9632

Commits on Jan 13, 2018

• completed sips 23 and 33 (#953)

  

  darjutak

  authored and

  jvican

  committed
  05de751

  Copy full SHA for 05de751

Commits on Jan 10, 2018

• Merge pull request #947 from OlivierBlanvillain/fix-links

  Show description for e3ae6a6
  SethTisue

  authored
  e3ae6a6

  Copy full SHA for e3ae6a6

Commits on Jan 7, 2018

• Add mention of opaque types (#974)

  Show description for 2ec267f
  

  non

  authored and

  jvican

  committed
  2ec267f

  Copy full SHA for 2ec267f

Commits on Dec 19, 2017

• use Jorge's recommended SPP URL

  SethTisue

  committed
  a598f6b

  Copy full SHA for a598f6b

• Update link to facebook.github.io/relay

  OlivierBlanvillain

  committed
  5d33b8e

  Copy full SHA for 5d33b8e

Pagination

Previous

Next