[Haskell-cafe] Constructor discipline and dependent types.

Stephen Tetley stephen.tetley at gmail.com
Sun Jul 17 16:24:29 CEST 2011

Previous message: [Haskell-cafe] Constructor discipline and dependent types.
Next message: [Haskell-cafe] partial inheritance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 17 July 2011 10:03, Patrick Browne <patrick.browne at dit.ie> wrote:

> Question 1: Is the above a reasonable understanding of CD?

Previous message: [Haskell-cafe] Constructor discipline and dependent types.
Next message: [Haskell-cafe] partial inheritance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell-Cafe mailing list