[Haskell-cafe] Decimal type-level arithmetic.

[Serguey Zefirov]

2011/6/1 Henning Thielemann <lemming at henning-thielemann.de>:
>
> 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
> ?

My version is slightly simpler to use, I think, because type-level
uses functional dependencies: "Type-level functions are implemented
using functional dependencies of multi parameter type classes."

I use type families.