milessabin/shapeless — pull request #38 by folone (2013-07-21 15:47:54+00:00)
Title: Added more things to Nat

Updated #37 to the latest `Nat` implementation. Added:
* `Pow` and `Min`
* Factorial and GCD examples
* Tests for `Pow`, `Min`, `LT` and `LTEq`