The code for his solution is at http://github.com/coreyhaines/kata-number-to-led
The basic idea is the inverse of KataBankOCR
SteveDonie?