From 7349793f5a6752bef585984d5b32483434f0f366 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 23 Oct 2017 17:08:28 -0400 Subject: [PATCH] Typed Racket HISTORY update. --- 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 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.