idris-lang/Idris-dev — pull request #1058 by raichoo (2014-04-12 17:30:31+00:00)
Title: Javascript: Initial Bits support

This is just enough to make the test suite pass. More to come to make idris-crypto pass!