church_encoding (pypi): Church encodings written in Python
Keywords: church|encoding|encodings|church-encodings|numerals|python