[Haskell-cafe] Re: ANN: data-category, restricted categories

Ross Paterson ross at soi.city.ac.uk
Tue Mar 30 19:15:05 EDT 2010

On Tue, Mar 30, 2010 at 11:26:39PM +0100, Conor McBride wrote:
> Getting back to the question, whatever happened to empty case expressions? We
> should not need bottom to write total functions from empty types.

Empty types?  Toto, I've a feeling we're not in Haskell anymore.

More information about the Haskell-Cafe mailing list