on 15b9171 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.hsFinish TODO on infinite type errors