用 upTeX 来进行中文文学编程

LdBeth 2022 年6 月 30 日 01:36 1

2 个赞

WingDust 2022 年7 月 2 日 02:23 2

与org mode 写有什么区别吗

LdBeth 2022 年7 月 2 日 02:36 3

很简单，org-mode 不能用炫酷的非等寛字体排版代码。

WingDust 2022 年7 月 2 日 02:38 4

也是可以像 org mode 有执行输出吗

LdBeth 2022 年7 月 2 日 02:40 5

为什么要有执行输出？CWEB 才是原教旨的文学编程

WingDust 2022 年7 月 2 日 02:43 6

我把执行输出是否符合目标用来检测代码是否正确

WingDust 2022 年7 月 2 日 02:43 8

CWEB 还没有看

LdBeth 2022 年7 月 2 日 02:44 9

我都是写正式或者非正式证明的，比如 induction hypothesis 之类的，哈哈。