I'd have liked to see the Haskell rendered "unexecutable" by reducing it to pure, typed lambda calculus. Just a matter of a few rewrite rules from the Haskell s

I'd have liked to see the Haskell rendered "unexecutable" by reducing it to pure, typed lambda calculus. Just a matter of a few rewrite rules from the Haskell specification ...