on d7e3cd7 help sign in
6 files
../ Canonicalize.hsAdd Type.Error.toDoc Docs.hsResolve two TODOs in docs error messages Main.hsCheck in Error.Main with errors for bad flags Pattern.hsRethink the error messages for exhaustiveness checks Syntax.hsResolve TODOs in Validate Type.hsRename Mismatch to BadExpr