revised inf arithmetic question again, like to ordinals, cardinals
[lambda.git] / rosetta2.mdwn
2015-02-04 JimMerge branch 'master' into working
2015-02-04 jimrename more_rosetta.mdwn to rosetta2.mdwn
2015-02-04 jimrename rosetta2.mdwn to rosetta.mdwn
2015-02-04 jimrename rosetta.mdwn to rosetta2.mdwn