Bottom Type--Type Theory

Walter Bright newshound2 at digitalmars.com
Fri Jan 18 01:46:10 UTC 2019

Previous message: Bottom Type--Type Theory
Next message: Bottom Type--Type Theory
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 1/17/2019 2:13 PM, H. S. Teoh wrote:
> Nice, well-rounded-out semantics.

I'm loving this discussion!

Previous message: Bottom Type--Type Theory
Next message: Bottom Type--Type Theory
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Digitalmars-d mailing list