Merge pull request #1052 from milessabin/topic/simplified-algorithm · scala/docs.scala-lang@3aab66c · GitHub

Commit

Merge pull request #1052 from milessabin/topic/simplified-algorithm

Browse files

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

Loading branch information

SethTisue authored Apr 19, 2018

2 parents f032dce + 5d510d6 commit 3aab66c