this is addressed to Mark, but others may be interested
in my lament against papers available only in "paper-oriented"
formats (dvi, ps, pdf).
Mark P. Jones writes:
>I use exactly the kind of techniques described here in my work. For
>example, I use literate programming for the "Typing Haskell in Haskell"
>project (http://www.cse.ogi.edu/~mpj/thih). From a single source, I
>generate LaTeX source (from which dvi, ps, and pdf forms can be obtained)
>as well as two different executable versions (a single file version and
>a multiple file version). It all works pretty well.
this single source is not available at the URL: only printables (dvi,
ps, pdf) and compilables (source without explanatory comments) derived
from it are available.
for almost a year now, it has been on my list of things to do to read
thih. for reasons too detailed to get into now, except to say that I
still use a 486 computer (sans printer) at home, I find reading dvi, ps
and pdf inconvenient and tend to postpone reading them whereas I tend to
read text and html docs right away. if I had access to the thih "master
source", I definitely would have looked at it almost a year ago, and
even if it is hard to decipher, there is a good chance that it would
have told me enough about the paper to convince me to go through the
inconvenience of obtaining a proper printout a long time ago.
but maybe I'm just totally atypical: eg, I do not mind reading
lengthy docs from the monitor.
