Opened 12 years ago

Last modified 2 years ago

#26 new enhancement

add ExistentialQuantification

Reported by: ijones Owned by:
Priority: normal Milestone:
Version: Keywords:
Cc: Meta Owner:
State: Section: Declarations/Bindings
Related Tickets:

Description

Change History (8)

comment:1 Changed 12 years ago by ijones

Owner: changed from ijones to none

comment:2 Changed 12 years ago by s.j.thompson@…

Owner: changed from none to s.j.thompson@…

comment:3 Changed 12 years ago by john@…

topic: RankNTypes

comment:4 Changed 12 years ago by ijones

topic: RankNTypesType Quantification

comment:5 Changed 2 years ago by Herbert Valerio Riedel

Milestone:

moving non-milestoned many year old legacy tickets out of the way

comment:6 Changed 2 years ago by Herbert Valerio Riedel

Priority: majornormal

Set default priority (as this confuses Trac otherwise)

comment:7 Changed 2 years ago by Herbert Valerio Riedel

Owner: s.j.thompson@… deleted

remove owners from legacy tickets

comment:8 Changed 2 years ago by David Luposchainsky

Section: Declarations/Bindings
Note: See TracTickets for help on using tickets.