Opened 13 years ago
Last modified 3 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 13 years ago by
| Owner: | changed from ijones to none |
|---|
comment:2 Changed 13 years ago by
| Owner: | changed from none to s.j.thompson@… |
|---|
comment:3 Changed 13 years ago by
| topic: | → RankNTypes |
|---|
comment:4 Changed 13 years ago by
| topic: | RankNTypes → Type Quantification |
|---|
comment:5 Changed 3 years ago by
| Milestone: | → ⊥ |
|---|
comment:6 Changed 3 years ago by
| Priority: | major → normal |
|---|
Set default priority (as this confuses Trac otherwise)
comment:8 Changed 3 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