idris-lang/Idris-dev — pull request #1236 by sellout (2014-05-18 04:56:03+00:00)
Title: Implement reductions for for Buffer primitives.

I’m working on extending Data.Bits to support values larger than 64 bits, but I kept getting stuck because the repl wouldn’t reduce anything for me, so I did this.