in reply to Set Theoretic Ordinals

Nice. For some reasons, it recalls me this article by Dominus (Perl Contains the Lambda-Calculus) :))