should-not-typecheck-1.0: A HUnit/hspec assertion library to verify that an expression does not typecheck
Index