diff --git a/typed-racket-lib/typed-racket/HISTORY.txt b/typed-racket-lib/typed-racket/HISTORY.txt index 559fa6f3..4dc12118 100644 --- a/typed-racket-lib/typed-racket/HISTORY.txt +++ b/typed-racket-lib/typed-racket/HISTORY.txt @@ -1,3 +1,6 @@ +6.10 +- Improve refinement types. +- Split mutable and immutable hash types. 6.9 - Added initial steps towards refinement types. - Fixes related to numeric types and NaN.