Ticket #57 (new enhancement)

Opened 6 years ago

Last modified 5 years ago

add polymorphic components

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

Description (last modified by diatchki) (diff)

see PolymorphicComponents.

Change History

Changed 6 years ago by ross@…

  • adopt changed from maybe to probably yes

Changed 6 years ago by ross@…

  • impact changed from normal to large

Changed 6 years ago by ijones@…

  • topic set to RankNTypes

Changed 6 years ago by ijones

  • topic changed from RankNTypes to Type Quantification

Changed 5 years ago by guest

  • description modified (diff)

Changed 5 years ago by guest

  • description modified (diff)

Changed 5 years ago by guest

  • description modified (diff)

Changed 5 years ago by guest

  • description modified (diff)

Changed 5 years ago by guest

  • description modified (diff)

Changed 5 years ago by guest

  • description modified (diff)

Changed 5 years ago by diatchki

  • description modified (diff)

Moved the interesting bits to the page on PolymorphicComponents.

Note: See TracTickets for help on using tickets.