Module lambda_calculus::data::num::parigot

Parigot numerals

Functions

• add
  Applied to two Parigot-encoded numbers it produces their sum.
• is_zero
  Applied to a Parigot-encoded number it produces a lambda-encoded boolean, indicating whether its argument is equal to zero.
• mul
  Applied to two Parigot-encoded numbers it yields their product.
• one
  Produces a Parigot-encoded number one.
• pred
  Applied to a Parigot-encoded number it produces its predecessor.
• sub
  Applied to two Church-encoded numbers it subtracts the second one from the first one.
• succ
  Applied to a Parigot-encoded number it produces its successor.
• zero
  Produces a Parigot-encoded number zero; equivalent to boolean::fls.