milessabin/shapeless — pull request #8 by tixxit (2012-06-30 03:33:44+00:00)
Title: Add Div(Aux) and Mod(Aux) type classes.

This adds 2 new type classes (Div and Mod for / and % resp.) for operating on type level natural numbers.