A B C D E F G H I K L M N O P R S T V W Y Z

Z

ZERO - Static variable in class org.xmloperator.lambda2.term.util.Base2Numerals
Term that represents the function that returns "K" if the argument is "0", "F" elsewhere.
ZERO - Static variable in class org.xmloperator.lambda2.term.util.ChurchNumerals
Term \x1x2x3.x1(\x4.x3)x2

A B C D E F G H I K L M N O P R S T V W Y Z