Ticket #57 (new enhancement)

Opened 3 years ago

Last modified 2 years ago

add polymorphic components

Reported by: ijones Assigned to: ross@soi.city.ac.uk
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: large Adopt: probably yes
Topic: Type Quantification

Description (Last modified by diatchki)

see PolymorphicComponents.

Change History

02/02/06 04:32:48 changed by ross@soi.city.ac.uk

  • adopt changed from maybe to probably yes.

02/03/06 03:39:37 changed by ross@soi.city.ac.uk

  • impact changed from normal to large.

03/01/06 15:45:52 changed by ijones@galois.com

  • topic set to RankNTypes.

03/03/06 16:06:32 changed by ijones

  • topic changed from RankNTypes to Type Quantification.

01/19/07 17:49:01 changed by guest

  • description changed.

01/19/07 17:49:27 changed by guest

  • description changed.

01/21/07 14:15:39 changed by guest

  • description changed.

01/21/07 15:46:56 changed by guest

  • description changed.

01/21/07 16:01:46 changed by guest

  • description changed.

01/21/07 17:47:47 changed by guest

  • description changed.

04/04/07 15:34:29 changed by diatchki

  • description changed.

Moved the interesting bits to the page on PolymorphicComponents.