Opened 14 years ago
Last modified 4 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 14 years ago by
Owner: | changed from ijones to none |
---|
comment:2 Changed 14 years ago by
Owner: | changed from none to s.j.thompson@… |
---|
comment:3 Changed 14 years ago by
topic: | → RankNTypes |
---|
comment:4 Changed 14 years ago by
topic: | RankNTypes → Type Quantification |
---|
comment:5 Changed 4 years ago by
Milestone: | → ⊥ |
---|
comment:6 Changed 4 years ago by
Priority: | major → normal |
---|
Set default priority (as this confuses Trac otherwise)
comment:8 Changed 4 years ago by
Section: | → Declarations/Bindings |
---|
Note: See
TracTickets for help on using
tickets.
moving non-milestoned many year old legacy tickets out of the way