transitivity does not imply type-checking
Matthias Radestock
(19 Nov 2005 11:16 UTC)
|
Re: transitivity does not imply type-checking
Jens Axel Søgaard
(19 Nov 2005 18:08 UTC)
|
Re: transitivity does not imply type-checking
Matthias Radestock
(20 Nov 2005 09:37 UTC)
|
Re: transitivity does not imply type-checking
Jens Axel Søgaard
(20 Nov 2005 10:04 UTC)
|
Re: transitivity does not imply type-checking
Matthias Radestock
(20 Nov 2005 12:53 UTC)
|
Re: transitivity does not imply type-checking
Jens Axel Søgaard
(20 Nov 2005 13:32 UTC)
|
Re: transitivity does not imply type-checking
Matthias Radestock
(20 Nov 2005 18:39 UTC)
|
Re: transitivity does not imply type-checking
Sebastian Egner
(21 Nov 2005 10:45 UTC)
|
Re: transitivity does not imply type-checking
Matthias Radestock
(21 Nov 2005 11:03 UTC)
|
Re: transitivity does not imply type-checking
Taylor Campbell
(21 Nov 2005 20:08 UTC)
|