@@ -16,6 +16,9 @@ New in 0.9.13:
16* :apropos now accepts space-delimited lists of query items, and searches for the conjunction
16* :apropos now accepts space-delimited lists of query items, and searches for the conjunction
17 of its inputs. It also accepts binder syntax as search strings - for instance, -> finds
17 of its inputs. It also accepts binder syntax as search strings - for instance, -> finds
18 functions.
18 functions.
19+* Totality errors are now treated as warnings until code generation time, when they become
20+ errors again. This allows users to use the interactive editing features to fix totality
21+ issues, but no programs that violate the stated assumptions will actually run.
20Internal changes
23Internal changes