sebschrader/programmierung-ss2014 — pull request #1 by mmarx (2014-05-07 17:50:54+00:00)
Title: Add a strict version of length

Add a version of length that uses strict folding, and also omits the superflous variable binding in the accumulator.