Hyper-literate programming is to literate programming exactly what hypertext documents are to regular books and texts.
e9c1b7dc5e
This change solves a long-standing problem with using @nonterm{}
inside @tt{} or other constructors that change the font, where
the font would be different (and uglier) than uses outside of font
changes.
original commit: 9f68533f82df6398e59d9190a61af12c34a5a1af
|
||
|---|---|---|
| pkgs | ||