package church_numerals
Ordering
- Alphabetic
Visibility
- Public
- All
Value Members
-
object
cond
Conditional if c = 0 then e1 else e2
-
object
int_of_num
Computes the int value of a Church numeral.
-
object
is_num
Checks if lambda expression is a Church numeral.
-
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.
-
object
plus
Addition of Church numerals.
Addition of Church numerals. Does not check if the input is a church numeral.
-
object
times
Multiplication of Church numerals.
Multiplication of Church numerals. Does not check if the input is a church numeral.
This is the API documentation for GAPT.
The main package is gapt.