[plt-scheme] TypedScheme: alpha release

I don't seem to be having much luck. I tried the form you gave (with "info.ss") as well as what is listed on the PLaneT web site, namely 

(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 0)))

I also tried "samth" instead of "plt". In each case, the error message is

require: PLaneT could not download the requested package: Server did not include valid major and minor version information in: (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 0))

I'm using version 369.1-svn6dec2006 under XP.  (I have OS X and Ubuntu at home, but am unable to try them right now.)
 
===
Gregory Woodhouse 
 
"Mathematics is the science of patterns."
--Lynn Arthur Steen, 1988


----- Original Message ----
From: Sam TH <samth at ccs.neu.edu>
To: plt-scheme <plt-scheme at list.cs.brown.edu>
Sent: Monday, December 18, 2006 11:09:54 AM
Subject: [plt-scheme] TypedScheme: alpha release


The TypedScheme programming language, a dialect of PLT Scheme
with static type checking, is now available from PLaneT. The
language is explicitly typed and supports some polymorphism. Its
type system is designed to support the common Scheme programming
style, as used in The Little LISPer/Schemer or How to Design
Programs.

This alpha release consists of a functional core language with
typed definitions of all kinds, including variables, functions
and structures as well as some polymorphism.

We expect the language to include imperative constructs in the
near future.

Web page: http://www.ccs.neu.edu/~samth/typed-scheme.html
Documentation: http://www.ccs.neu.edu/~samth/typed-scheme/
PLaneT link: http://planet.plt-scheme.org/#typed-scheme.plt
Installation:
   (require (planet "info.ss" ("plt" "typed-scheme.plt")))
   or (from a command line)
   > planet -i plt typed-scheme.plt 1 0
Feedback: samth at ccs.neu.edu

All feedback, concerning the programming language, its
documentation, and its implementation is welcome.

Thanks,

Sam Tobin-Hochstad



_________________________________________________
  For list-related administrative tasks:
  http://list.cs.brown.edu/mailman/listinfo/plt-scheme