Ticket #26 (new enhancement)

Opened 3 years ago

Last modified 3 years ago

add ExistentialQuantification

Reported by: ijones Assigned to: s.j.thompson@kent.ac.uk
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: large Adopt: probably yes
Topic: Type Quantification

Description

see ExistentialQuantification.

Change History

01/06/06 15:05:06 changed by ijones

  • owner changed from ijones to none.

01/10/06 08:50:33 changed by s.j.thompson@kent.ac.uk

  • owner changed from none to s.j.thompson@kent.ac.uk.

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

  • topic set to RankNTypes.

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

  • topic changed from RankNTypes to Type Quantification.