on 4914a41 help sign in
6 files
../ Canonicalize.hsAdd Type.Error.toDoc Docs.hsResolve two TODOs in docs error messages Main.hsFinish TODO for bad `main` types Pattern.hsRethink the error messages for exhaustiveness checks Syntax.hsResolve TODOs in Validate Type.hsFinish TODO on infinite type errors