Hyper-literate programming is to literate programming exactly what hypertext documents are to regular books and texts.
Go to file
Matthew Flatt 1c5b304b1b Scribble: add 'grouper and 'hidden-number part style properties
Also, clean up documentation and implementation of 'unnumbered and
'hidden.

original commit: c0c2eda628c5786c18d29a3071087e268bd76109
2013-02-01 10:15:53 -08:00
collects Scribble: add 'grouper and 'hidden-number part style properties 2013-02-01 10:15:53 -08:00