@@ -10,6 +10,14 @@
10 + `FirstClassReflection`, which must be enabled to define a `%reflection`
10 + `FirstClassReflection`, which must be enabled to define a `%reflection`
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.
13## Library Updates
21## Library Updates
15+ Terminating programs has been improved with more appropriate
23+ Terminating programs has been improved with more appropriate