Changes between Version 12 and Version 13 of ExistentialQuantification


Ignore:
Timestamp:
Jan 27, 2006 12:05:05 PM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExistentialQuantification

    v12 v13  
    11[[PageOutline]] 
    22= Existential Quantification = 
    3  
    4 '''[search:?q="ExistentialQuantification"&ticket=on Ticket(s)]''' 
    53 
    64== Brief Explanation == 
     
    2725 * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#existential-quantification GHC documentation] 
    2826 * distinguish from PolymorphicComponents 
     27 
     28== Tickets == 
     29[[TicketQuery(description~=ExistentialQuantification)]] 
    2930 
    3031== Syntax of existentials ==