Thank you for making this text better. It can be made even more accurate: 
neither integers nor strings or bool-vectors are actually compared recursively 
in a useful sense so we shouldn't claim that they are, and nowadays both 
byte-compiled and interpreted closures are compiled but we should note the 
usual intensionality problems when comparing functions.

Here is a proposed amendment.

Attachment: equal-doc.diff
Description: Binary data

Reply via email to