[Haskell-cafe] Decimal type-level arithmetic.

[Henning Thielemann]

On Wed, 1 Jun 2011, Serguey Zefirov wrote:

> I would like to present my version of type arithmetic with decimal
> encoding: http://thesz.mskhug.ru/svn/hhdl/TyleA.hs

How does it compare to
   http://hackage.haskell.org/package/type-level
?