tree d7205cbda0f7153ac096de0cd08a1d45f3cae755
parent 0d937abf8ca9878aadc1b4e62e333976e74e8942
author PeterAlfredLee <peteralfredlee@gmail.com> 1592989709 +0800
committer Gilles Sadowski <gilleseran@gmail.com> 1593382725 +0200

Use stream API in place of explicit loop.

Closes #154.