[Haskell-cafe] type metaphysics

Matthew Brecknell haskell at brecknell.org
Mon Feb 2 18:23:46 EST 2009

Luke Palmer wrote:
> and pick out the ones which denote a total computable function [...]

How important is totality to this argument? If it is important, how do you decide it?

More information about the Haskell-Cafe mailing list