4 Mar
2010
4 Mar
'10
3:59 p.m.
Brief update: the documentation on the patch itself is much clearer than the explanation I gave in the previous email. In point of fact, the type of the rank of a binomial tree actually corresponds very nicely to a particular type implementation of Peano numbers... Louis Wasserman wasserman.louis@gmail.com http://profiles.google.com/wasserman.louis