idris-lang/Idris-dev — pull request #531 by reynir (2013-10-13 15:21:50+00:00)
Title: In-language Show BitsN instances

Implementation of `Show BitsN` instances where they are interpreted as unsigned integers and printed in hexadecimal.

There's also a `isHexDigit : Char -> Bool` function.