diff --git a/typed-racket-lib/typed-racket/HISTORY.txt b/typed-racket-lib/typed-racket/HISTORY.txt index 4dc12118..c7840b7f 100644 --- 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.