Changes between Initial Version and Version 1 of Ticket #86
- Feb 2, 2006 6:04:41 PM (11 years ago)
- Property Summary changed from
initial v1 1 Test ticket, will fill details in properly in a mo 1 Short idea: _ in place of a type is "match anything". This is /not/ the type (exists a.a), contrary to suggestions on the mailing list, as a) we wish to end up with a more specific type via inference and b) the existential type would have issues with predicativity and/or impredicativity.