[racket] Two questions about scribbling a Typed Racket library

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Thu May 31 16:39:23 EDT 2012

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 McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

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

Posted on the users mailing list.