Prove Your Haskell for Great Safety: Dependent Typeshttps://www.fpcomplete.com/user/konn/prove-your-haskell-for-great-safety/dependent-types-in-haskell by jc79 • 12 years ago 16 1 12 years agoFPfpcomplete.com