Hyper-literate programming is to literate programming exactly what hypertext documents are to regular books and texts.
Go to file
Matthew Flatt b76ed3d3ae scribble: add 'roman as a built-in element style
original commit: 2084f94c4728329ce6bbf0edc001c9237805e2da
2013-08-21 19:59:10 -06:00
pkgs scribble: add 'roman as a built-in element style 2013-08-21 19:59:10 -06:00