fix reversed order of "words" and "lines" in WordCount.idr#9
Open
clayrat wants to merge 1 commit intoedwinb:masterfrom
Open
fix reversed order of "words" and "lines" in WordCount.idr#9clayrat wants to merge 1 commit intoedwinb:masterfrom
clayrat wants to merge 1 commit intoedwinb:masterfrom
