on 2c8bd43 help sign in
3 files
../ Canonicalize.hsRemove stray single quote Syntax.hsCreate Reporting.Report and move towards nicer messages Type.hsShow unification notes in the appropriate place