Value Members

1.  object cond

   Conditional if c = 0 then e1 else e2

2.  object int_of_num

   Computes the int value of a Church numeral.

3.  object is_num

   Checks if lambda expression is a Church numeral.

4.  object num

   A straightforward implementation of Church numerals.

   A straightforward implementation of Church numerals. Numbers up to 50000 should work fine, above various functions (beta-reduction, substitution, printing, ...) run out of stack.

5.  object plus

   Addition of Church numerals.

   Addition of Church numerals. Does not check if the input is a church numeral.

6.  object times

   Multiplication of Church numerals.

   Multiplication of Church numerals. Does not check if the input is a church numeral.