30 Mar
2010
30 Mar
'10
7:15 p.m.
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.