num
gapt.examples.church_numerals.num
object num
A straightforward implementation of Church numerals. Numbers up to 50000 should work fine, above various functions (beta-reduction, substitution, printing, ...) run out of stack.
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
num.type
Members list
In this article