idris-lang/Idris-dev — pull request #1813 by mattias-lundell (2014-12-30 21:38:46+00:00)
Title: Added bit vectors to the C backend

Solves #1441 by adding support for bit vectors to the C backend.