Typed Racket HISTORY update.

2017-10-23 17:08:28 -04:00 · 2017-10-23 17:08:28 -04:00 · 7349793f5a
commit 7349793f5a
parent 26f65f13f7
1 changed files with 3 additions and 0 deletions
--- a/typed-racket-lib/typed-racket/HISTORY.txt
+++ b/typed-racket-lib/typed-racket/HISTORY.txt
@ -1,3 +1,6 @@
+6.11
+- Syntax for refinment types and dependent function types.
+- Improvements to case-lambda inference and rest arg handling.
 6.10
 - Improve refinement types.
 - Split mutable and immutable hash types.