You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
6 lines
236 B
6 lines
236 B
2 years ago
|
|
||
|
|
Exercise 2.79: Define a generic equality
|
||
|
|
predicate equ? that tests the equality of two numbers, and install it in
|
||
|
|
the generic arithmetic package. This operation should work for ordinary
|
||
|
|
numbers, rational numbers, and complex numbers.
|