Ticket #60 (new enhancement)

Opened 6 years ago

Last modified 6 years ago

add RankNTypes or Rank2Types

Reported by: ijones Owned by: ravi@…
Milestone: Keywords:
Cc: Section:
State:

Description (last modified by ross@…) (diff)

See:

One is needed; we need to decide which.

Change History

Changed 6 years ago by ijones

  • owner changed from ijones to none

Changed 6 years ago by ravi@…

  • owner changed from none to ravi@…

Changed 6 years ago by ross@…

  • description modified (diff)

Changed 6 years ago by ross@…

  • adopt changed from maybe to probably yes
  • description modified (diff)

Changed 6 years ago by ross@…

  • impact changed from normal to large

Changed 6 years ago by john@…

  • topic set to RankNTypes

Changed 6 years ago by ijones

  • topic changed from RankNTypes to Type Quantification
Note: See TracTickets for help on using tickets.