[Haskell-cafe] Type System vs Test Driven Development

[Gregory Crosswhite]

On 1/12/11 5:05 AM, Ketil Malde wrote:
> Of course, ideally you should design your types so that all possible
> values are meaningful:-)

Sadly we cannot all program in Agda.  :-)

Cheers,
Greg