TypeDD-Samples
TypeDD-Samples copied to clipboard
fix reversed order of "words" and "lines" in WordCount.idr