[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Once more: empty types



Hi Josef,

>I obviously am for empty types, and I think I argued for
>them on this forum quite exhaustively.

Yes, I knew that (sorry if my bringing this up again
irritated you.)  So I wondered whether there was anyone
beyond you and me...  For instance, what does Piotr think
of this, I wonder.  Does he also think it's not a big deal?

Freek