git.iko.soy/elk
on 6f9825f help sign in
elk/src/Reporting/Error
6 files
../ Canonicalize.hsMove srcToDoc and canToDoc implementations into Render.Type Docs.hsResolve two TODOs in docs error messages Main.hsMove srcToDoc and canToDoc implementations into Render.Type Pattern.hsRethink the error messages for exhaustiveness checks Syntax.hsRemove duplicate theories in syntax errors Type.hsFigure out TODOs for FlexSuper vs RigidSuper hints