Hyper-literate programming is to literate programming exactly what hypertext documents are to regular books and texts.
Go to file
Matthew Flatt f45683c022 scribble/lncs: doc repair
Merge to v6.0

original commit: 8514662b839d63da36d03d6f2125223f8e38b41f
2013-11-27 07:51:02 -07:00
pkgs/scribble-pkgs scribble/lncs: doc repair 2013-11-27 07:51:02 -07:00