org.xmloperator.lambda2.term.util
Classes
Base2Numerals
ChurchNumerals
CommonTerms
Modulo2Numerals
Test