2011/6/1 Henning Thielemann <lemm...@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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe