on 4c5f326 help sign in
5 files
../ Canonicalize.hsWork on some TODOs in canonicalization errors Docs.hsUpdate docs errors for new docs processing code Pattern.hsRethink the error messages for exhaustiveness checks Syntax.hsResolve TODOs in Validate Type.hsMake type errors prettier / resolve some TODOs