Changes between Version 16 and Version 17 of ExistentialQuantification

Show
Ignore:
Timestamp:
02/01/06 04:07:55 (7 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ExistentialQuantification

    v16 v17  
    9494 
    9595== Cons == 
    96  * tricky to implement on implementations without a common runtime representation of values such as jhc. 
     96 * tricky to implement on implementations without a common runtime representation of values such as jhc. (however, John Meacham believes any trickiness is worth it due to the value of this extension, at least for jhc) 
    9797 
    9898