Changes between Version 12 and Version 13 of ExistentialQuantification


Ignore:
Timestamp:
Jan 27, 2006 12:05:05 PM (10 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 ==