From: Gregory Heytings <gregory@heytings.org>
To: Emanuel Berg <moasenwood@zoho.eu>
Cc: help-gnu-emacs@gnu.org
Subject: Re: Quote by Knuth
Date: Wed, 21 Jul 2021 08:42:58 +0000 [thread overview]
Message-ID: <94de128df184fd130038@heytings.org> (raw)
In-Reply-To: <87lf60e1es.fsf@zoho.eu>
>> "Literate programming" is a pretty generic term. The most you can say
>> about it is that it tries to combine "writing for humans"
>> ("literature") and "writing for machines" ("programming")
>
> It is a poetic idea, but in practice how could one ever do that?
>
$ wget http://tug.ctan.org/systems/knuth/dist/tex/tex.web
$ weave tex.web
$ ./tex tex.tex
$ xdvi tex.dvi
$ tangle tex.web
$ <Pascal compiler*> tex.p
$ ./tex
* AFAIK currently no Pascal compiler can compile the original, unmodified
TeX Pascal code
next prev parent reply other threads:[~2021-07-21 8:42 UTC|newest]
Thread overview: 87+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-07-05 14:37 append, push, and add-to-list Drew Adams
2021-07-05 14:53 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 15:19 ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-07-05 16:18 ` [External] : " Drew Adams
2021-07-05 16:46 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:54 ` Jean Louis
2021-07-06 20:08 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 15:41 ` tomas
2021-07-05 16:58 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 17:21 ` tomas
2021-07-06 1:17 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:10 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:18 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:11 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:39 ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-07-05 20:35 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:57 ` Jean Louis
2021-07-06 20:16 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:56 ` Jean Louis
2021-07-06 20:15 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:51 ` Quote by Knuth Jean Louis
2021-07-06 20:06 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 21:57 ` Christopher Dimech
2021-07-06 22:16 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 22:26 ` Alexandre Garreau
2021-07-06 23:21 ` Christopher Dimech
2021-07-14 16:09 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 17:37 ` Christopher Dimech
2021-07-14 17:41 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15 3:08 ` Christopher Dimech
2021-07-18 22:25 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:18 ` Christopher Dimech
2021-07-14 16:02 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 16:20 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 17:41 ` Christopher Dimech
2021-07-14 17:43 ` Christopher Dimech
2021-07-14 17:49 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15 3:05 ` Christopher Dimech
2021-07-15 6:50 ` tomas
2021-07-15 6:55 ` Christopher Dimech
2021-07-15 7:11 ` tomas
2021-07-15 10:55 ` Christopher Dimech
2021-07-18 22:23 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:22 ` Christopher Dimech
2021-07-18 22:20 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:27 ` Christopher Dimech
2021-07-14 19:24 ` Jean Louis
2021-07-14 20:15 ` Christopher Dimech
2021-07-14 20:30 ` Marcin Borkowski
2021-07-14 20:58 ` Christopher Dimech
2021-07-14 22:54 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 21:04 ` Christopher Dimech
2021-07-14 23:05 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 22:53 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15 6:06 ` Marcin Borkowski
2021-07-15 6:21 ` Christopher Dimech
2021-07-17 18:43 ` Marcin Borkowski
2021-07-18 7:41 ` Christopher Dimech
2021-07-18 11:50 ` Jean Louis
2021-07-18 13:17 ` Christopher Dimech
2021-07-18 13:41 ` Jean Louis
2021-07-18 17:57 ` Christopher Dimech
2021-07-18 23:25 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 16:27 ` Christopher Dimech
2021-07-20 16:39 ` Christopher Dimech
2021-07-18 22:58 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 16:41 ` Christopher Dimech
2021-07-18 22:54 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:10 ` Christopher Dimech
2021-07-18 13:54 ` Christopher Dimech
2021-07-18 22:37 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-18 22:34 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 22:43 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 22:31 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15 2:58 ` Christopher Dimech
2021-07-15 6:43 ` Eli Zaretskii
2021-07-18 22:14 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-19 7:07 ` tomas
2021-07-19 8:05 ` Christopher Dimech
2021-07-21 4:52 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-21 8:55 ` Christopher Dimech
2021-07-21 4:28 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-21 8:42 ` Gregory Heytings [this message]
2021-07-19 8:44 ` lisa-asket
2021-07-06 21:34 ` Christopher Dimech
2021-07-05 16:19 ` [External] : Re: append, push, and add-to-list Drew Adams
2021-07-05 16:41 ` Emanuel Berg via Users list for the GNU Emacs text editor
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=94de128df184fd130038@heytings.org \
--to=gregory@heytings.org \
--cc=help-gnu-emacs@gnu.org \
--cc=moasenwood@zoho.eu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).