Code

[] is neutral element for ++#1060

Code

Merged

ndmitchell merged 1 commit intondmitchell:masterndmitchell/hlint:masterfrom jvoigtlaender:evaluate-append-with-empty-listjvoigtlaender/hlint:evaluate-append-with-empty-listCopy head branch name to clipboardJun 24, 2020

+2

Commits

Commits on Jun 23, 2020

• [] is neutral element for ++

  jvoigtlaender

  committed
  d2a0795

  Copy full SHA for d2a0795