Ticket #26 (new enhancement)

Opened 6 years ago

Last modified 6 years ago

add ExistentialQuantification

Reported by: ijones Owned by: s.j.thompson@…
Milestone: Keywords:
Cc: Section:
State:

Description

see ExistentialQuantification.

Change History

Changed 6 years ago by ijones

  • owner changed from ijones to none

Changed 6 years ago by s.j.thompson@…

  • owner changed from none to s.j.thompson@…

Changed 6 years ago by john@…

  • topic set to RankNTypes

Changed 6 years ago by ijones

  • topic changed from RankNTypes to Type Quantification
Note: See TracTickets for help on using tickets.