Search results

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

Status: Merged (completed).

scala/docs.scala-langnumber 1052

#1052 In scala/docs.scala-lang;

· by milessabin was closed on Apr 19, 2018

Simplified algorithm, motivating example, promissory note.

Status: Merged (completed).

scala/docs.scala-langnumber 1031

#1031 In scala/docs.scala-lang;

· by milessabin was closed on Mar 8, 2018

New SIP: Byname implicit arguments.

Status: Merged (completed).

scala/docs.scala-langnumber 1002

#1002 In scala/docs.scala-lang;

· by milessabin was closed on Jan 23, 2018

Updated following implementation experience in Typelevel Scala

Status: Merged (completed).

scala/docs.scala-langnumber 928

#928 In scala/docs.scala-lang;

· by milessabin was closed on Nov 16, 2017