[plt-scheme] Typed Scheme issues

On Wed, Mar 25, 2009 at 9:07 PM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
> Application at the type level:
>
> http://docs.plt-scheme.org/ts-reference/index.html#(form._((lib._typed-scheme/main..ss)._inst))
>

Oh thanks, I had missed this part:
#{e @ t ...} This is identical to (inst e t ...).

> On Wed, Mar 25, 2009 at 3:05 PM, Paulo J. Matos <pocmatos at gmail.com> wrote:
>> Can you please explain what's (#{make-hasheq @ Symbol Integer}) doing?
>> Is it documented?
>
> --
> Jay McCarthy <jay at cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://teammccarthy.org/jay
>
> "The glory of God is Intelligence" - D&C 93
>



-- 
Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm