15 Jul
2007
15 Jul
'07
1:04 a.m.
Lukas Mai wrote:
You may be interested in http://okmij.org/ftp/Haskell/number-parameterized-types.html
Thanks for that! It's all fascinating stuff...