edwinb/Idris-dev — pull request #324 by andreas23 (2013-05-31 19:45:53+00:00)
Title: Fix for Data.Bits

Proper types for the operations on Data.Bits plus some fixes in the backend that make Data.Bits compile again.