From c162928c5a9519f690f6fd9d91c15fb57e2036c3 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 31 Jan 2014 14:52:24 -0500 Subject: [PATCH] Update list of typed libraries --- .../typed-racket/scribblings/reference/libraries.scrbl | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl index 24dd8c4c79..f39905ce64 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl @@ -69,6 +69,7 @@ The following libraries are included with Typed Racket in the @defmodule/incl[typed/net/url] @defmodule/incl[typed/rackunit] @defmodule/incl[typed/srfi/14] +@defmodule/incl[typed/syntax/stx] Other libraries included in the main distribution that are either written in Typed Racket or have adapter modules that are typed: