From c877e22a1b100768c28e80d5b2ed9f841cfecfb9 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 20 Jul 2011 11:57:23 -0400 Subject: [PATCH] Document how to start a TR REPL from the command line. original commit: a71db7c15cd32222cb123024fc2af2fca43c9e74 --- collects/typed-scheme/scribblings/guide/quick.scrbl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collects/typed-scheme/scribblings/guide/quick.scrbl b/collects/typed-scheme/scribblings/guide/quick.scrbl index 4f6cc9f3..bfd9af30 100644 --- a/collects/typed-scheme/scribblings/guide/quick.scrbl +++ b/collects/typed-scheme/scribblings/guide/quick.scrbl @@ -48,3 +48,9 @@ racket Here is the same program, in @racketmodname[typed/racket]: @|typed-mod| + +@section{Using Typed Racket from the Racket REPL} + +It is possible to use Typed Racket from the Racket REPL. To do so, start Racket +with the following command line: +@commandline{racket -I typed/racket}