From 78a04f47ca4c62e6afe7f43eef3020beaaad9d31 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 27 Jul 2017 20:39:00 -0400 Subject: [PATCH] add TR HISTORY --- typed-racket-lib/typed-racket/HISTORY.txt | 3 +++ 1 file changed, 3 insertions(+) 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.