[racket] Two questions about scribbling a Typed Racket library

On Wed, May 30, 2012 at 9:20 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Wed, May 30, 2012 at 6:33 PM, Neil Toronto <neil.toronto at gmail.com> wrote:
>> Also, what's the best way to document a type, when the type's definition is
>> important? I'd like something like this:
>>
>>  Flomap-Transform = (Integer Integer -> invertible-2d-mapping)
>>
>> instead of having to write "This type is defined as..." in the description
>> text.
>
> There's not currently a nice way of defining constants in Scribble
> that I know of.

I normally use

@defthing[id contract]{Equivalent to @racket[definition]}

Jay

-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93