Am 17.01.19 um 02:45 schrieb Walter Bright: > > My interest in a bottom type comes from wanting a sounder mathematical > basis for types in D, but sadly nobody else seems interested, and this > DIP is pretty much DOA. I don't think this is true. At least I am very interested in giving D's types a sounder mathematical basis.