Theorem proving

HSC

The Haskell Supercompiler aims to bring back supercompilation to Haskell.