Skip to content

fix reversed order of "words" and "lines" in WordCount.idr - #9

Open
clayrat wants to merge 1 commit into
edwinb:masterfrom
clayrat:patch-2
Open

fix reversed order of "words" and "lines" in WordCount.idr#9
clayrat wants to merge 1 commit into
edwinb:masterfrom
clayrat:patch-2

Commits

Commits on May 22, 2017