idris-lang/Idris-dev — pull request #1061 by sellout (2014-04-13 20:32:28+00:00)
Title: Some lib changes.

Add Data.Vect.scanl, and Data.Bits.truncate.

These are things I’ve needed while working on idris-hackers/idris-crypto.