[plt-scheme] typed-scm

It's on-line:

  https://internal.plt-scheme.org/svn.html

-- Matthias


On Feb 28, 2007, at 9:53 AM, Nathan Thern wrote:

> I honestly have no idea how to that. Can you give me a quick step- 
> by-step or a link?
>
> regards,
> Nate T
>
> --- Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>
>> To use Typed Scheme, you will need to use the svn head for now. --
>> Matthias
>>
>>
>> On Feb 27, 2007, at 6:33 PM, Nathan Thern wrote:
>>
>>> Does anyone know why I cannot load typed-scm from PLaneT? I have
>>> successfully downloaded several
>>> other packages. I just now tried different one and it was
>>> successful, but typed-scheme still won't
>>> download:
>>>
>>>> (require (planet "roos.scm" ("oesterholt" "roos.plt" 1 5)))
>>>> (require (planet "typed-scheme.ss" ("samth" "typed-scheme.plt" 1  
>>>> 2)))
>>> planet: Could not find package matching ("typed-scheme.plt" 1 (2
>>> #f) ("samth")) in: (planet
>>> "typed-scheme.ss" ("samth" "typed-scheme.plt" 1 2))
>>>> ; or, as recommended in the documentation...
>>>> (require (planet "info.ss" ("plt" "typed-scheme.plt")))
>>> planet: Could not find package matching ("typed-scheme.plt" #f (0
>>> #f) ("plt")) in: (planet
>>> "info.ss" ("plt" "typed-scheme.plt"))
>>>>
>>>
>>> Using DrScheme 351 under Win2k.
>>>
>>> Thanks,
>>> Nate T
>>>
>>>
>>>
>>>
>>> ____________________________________________________________________ 
>>> __
>>> ______________
>>> Looking for earth-friendly autos?
>>> Browse Top Cars by "Green Rating" at Yahoo! Autos' Green Center.
>>> http://autos.yahoo.com/green_center/
>>> _________________________________________________
>>>   For list-related administrative tasks:
>>>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>
>>
>
>
>
>
> ______________________________________________________________________ 
> ______________
> Never Miss an Email
> Stay connected with Yahoo! Mail on your mobile.  Get started!
> http://mobile.yahoo.com/services?promote=mail