Ticket #84 (new enhancement)

Opened 3 years ago

Last modified 3 years ago

Kind Annotations

Reported by: malcolm.wallace@cs.york.ac.uk Assigned to: none
Priority: minor Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: minor Adopt: probably no
Topic: Kinds

Description

Add KindAnnotations to the language of type expressions.

Change History

02/10/06 14:57:12 changed by ijones

  • owner changed from ijones to none.

02/10/06 14:57:32 changed by ijones

  • component changed from HaskellPrime to Proposal.

02/15/06 19:07:31 changed by ijones

  • adopt set to probably no.

03/01/06 15:29:34 changed by john@galois.com

  • topic set to Kinds.