Changes between Version 16 and Version 17 of ExistentialQuantification


Ignore:
Timestamp:
Feb 1, 2006 12:07:55 PM (8 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