晚生短片

使用安装烟囱安装，然后在乳胶中通过：

%将其设置为代码所在的位置\新命令｛\srcdir｝｛.｝\newcommand｛\snip｝[2]｛\immediate\write18｛latex live snippets \srcdir/#1.hs#2｝\input｛latex live snippets/#1.#2.tex｝｝

现在，给定一个文件测试.hs:

动物园：：Int动物园=5测试：：Bool->Booltest True=id$Truetest_=真--！1

我们可以打电话

\剪贴{测试}{测试{

这将导致：

\开始｛代码｝测试：：Bool->Booltest True=id\$Truetest\_=True\ann{1}\结束{code}

它还将找到类型族和数据定义。自定义代码段区域可以是通过表单注释定义--#名称.