@@ -63,17 +63,17 @@ For those that develop on the Idris compiler, the internal operation
6363of Idris is captured using a category based logger. Currently, the
6464logging infrastructure has support for the following categories:
6565
66−+ Parser
67−+ Elaborator
68−+ Code generation
69−+ Erasure
70−+ Coverage Checking
71−+ IBC generation
66++ Parser (``parser``)
67++ Elaborator (``elab``)
68++ Code generation (``codegen``)
69++ Erasure (``erasure``)
70++ Coverage Checking (``coverage``)
71++ IBC generation (``ibc``)
7272
7373
7474These categories are specified using the command-line option:
7575``--logging-categories CATS``, where ``CATS`` is a quoted colon
76−seperated string of the categories you want to see. By default if this
76+separated string of the categories you want to see. By default if this
7777option is not specified all categories are allowed. Sub-categories
7878have yet to be defined but will be in the future, especially for the
7979elaborator.