@@ -10,6 +10,14 @@
1010 + `FirstClassReflection`, which must be enabled to define a `%reflection`
1111 function
1212
13+## Tool Updates
14+
15++ Output from verbose Idris has been updated to more accurately reflect
16+ its progress through the compiler. Idris, when verbose, will report
17+ explicitly: Type Checking; Totality Checking; IBC Generation;
18+ Compiling; and Code Generation.
19+
20+
1321## Library Updates
1422
1523+ Terminating programs has been improved with more appropriate