C cdsmith.wordpress.com Catching a Mathematical Error Using Haskell’s Type System 4 points blasdel 17 years ago 1 comments