Next: Comparing two numbers: `gtp'
Up: Relational Abstractions
Previous: Relational Abstractions
This abstraction can only be used to compare Church Numerals.
To compare other objects like symbols, strings or closures
`equalx' has to be used, one of the primitive functions
introduced by the extension of A++.
Comparing two numbers: `equaln'
Georg P. Loczewski