[plt-scheme] doc.txt syntax

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Oct 29 14:33:07 EDT 2004

At Fri, 29 Oct 2004 13:04:36 -0400, Doug Orleans wrote:
>  > Yes. Search for "doc.txt" in Help Desk, or see "doc.txt" in the "help"
>  > collection.
> 
> I already found that (I mentioned it in the [...] above) 

Sorry --- I didn't read closely enough.

> but it
> doesn't say anything about the type/BNF annotations.  [...]
> I'm talking about the stuff after the `:' or `='.  Are these just
> informal type specifications, or is this a formal language with a
> defined syntax and semantics?  Or something in between?

Nothing in the help system parses this. We try to use established
notations, but different documents currently use different notations.

Matthew



Posted on the users mailing list.