On 19Dec2020 07:39, Philippe Meunier <[email protected]> wrote: >See also the example reduction >here: https://en.wikipedia.org/wiki/Church_encoding#Church_pairs
Thank you for this reference. I've stuck it on my reading list. Cheers, Cameron Simpson <[email protected]> -- https://mail.python.org/mailman/listinfo/python-list
