Re: [Haskell] Correct interpretation of the curry-howard isomorphism

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