On 19Dec2020 07:39, Philippe Meunier <meun...@ccs.neu.edu> 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 <c...@cskk.id.au> -- https://mail.python.org/mailman/listinfo/python-list