Changes between Version 8 and Version 9 of RankNTypes


Ignore:
Timestamp:
Jan 27, 2006 11:58:29 AM (10 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RankNTypes

    v8 v9  
    3333 * [wiki:Rank2Types] are a special case
    3434
     35== Tickets ==
     36[[TicketQuery(description~=RankNTypes)]]
     37
    3538== Details ==
    3639
     
    5962 * More complex than [wiki:Rank2Types], which cover the most common cases (and can encode the rest, though clumsily).
    6063 * No clear programmer-level description of the restrictions that apply.
    61 
    62 == Tickets ==
    63 [[TicketQuery(description~=RankNTypes)]]