Thread Index - November 2005 - srfi-67@srfi.schemers.org

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)