gcross/type-level-natural-number-operations — pull request #1 by mruegenberg (2012-06-24 11:29:58+00:00)
Title: Multiplication and power

I added type families for multiplication and power.
Unfortunately, I was unable to find definitions that do not require UndecidableInstances. (In practice, no undecidability actually occurs.)