milessabin/shapeless — pull request #284 by dwijnand (2014-12-13 15:51:35+00:00)
Title: Add initial NatOps, with toInt.

This came out as missing from the Shapeless workshop, and was easy (and
satisfying) to quickly code-up. It's clearly just a start, but I didn't want to
throw it away.