[Haskell] Correct interpretation of the curry-howard isomorphism

Lennart Augustsson lennart at augustsson.net
Fri Apr 23 08:50:40 EDT 2004

JP Bernardy wrote:
> I'd say, check what any primitive 'proves' before
> using it. Besides that, calling other functions is ok.
Except for general recursion.
coerce :: a -> b
coerce = coerce

	-- Lennart

More information about the Haskell mailing list