31 May
2011
31 May
'11
5:10 p.m.
2011/6/1 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 ?
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.