on 4a5d921 help sign in
all commits
4a5d921Give more specialized error titlesEvan Czaplicki b7842c0Allow subregion underlines on single linesEvan Czaplicki 2dadd1fAllow hints on type constraints, leading to improved error messagesEvan Czaplicki 123f867Create Reporting.Report and move towards nicer messagesEvan Czaplicki