如何将识字的agda文件编译为功能性乳胶？

如何解决如何将识字的agda文件编译为功能性乳胶？

我正在尝试运行示例

https://wiki.portal.chalmers.se/agda/Main/LiterateAgda?from=Main.HowToInsertAgdaCodeInLaTeXDocuments

我已经逐字复制了代码“完整的LaTeX模板”，并且在运行时遇到此错误

  agda --latex <file>.lagda
  cd latex
  <latex-compiler> <file>.tex

有什么问题？我对乳胶不熟悉，

$ agda --latex example.lagda
Checking example (/home/wmacmil/agda/latex/example.lagda).
agda.sty was not found. Copying a default version of agda.sty
into latex.
$ cd latex/
$ xelatex example.tex 
This is XeTeX,Version 3.14159265-2.6-0.999991 (TeX Live 2019/Debian) (preloaded format=xelatex)
 restricted \write18 enabled.
entering extended mode
(./example.tex
LaTeX2e <2020-02-02> patch level 2
L3 programming layer <2020-02-14>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2019/12/20 v1.4l Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty)
(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
(/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def)
(/usr/share/texlive/texmf-dist/tex/generic/babel-greek/greek.ldf
(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
(/usr/share/texlive/texmf-dist/tex/generic/babel/xebabel.def
(/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def)))
(/usr/share/texlive/texmf-dist/tex/latex/greek-fontenc/lgrenc.def
(/usr/share/texlive/texmf-dist/tex/latex/greek-fontenc/greek-fontenc.def)))
(/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf))
(/usr/share/texlive/texmf-dist/tex/latex/ucs/ucs.sty
(/usr/share/texlive/texmf-dist/tex/latex/ucs/data/uni-global.def))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty

Package inputenc Warning: inputenc package ignored with utf8 based engines.

) (/usr/share/texlive/texmf-dist/tex/latex/ucs/utils/autofe.sty
macro:->
) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty))
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-xdvipdfmx.def)
No file example.aux.
(/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/cbfonts-fd/lgrcmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/ucs/ucsencs.def
fontencoding LGR patched
)
! FancyVerb Error:
  Extraneous input `\>[0]\<%' between \begin{code}[<key=value>] and line end
.
\FV@Error ...ncyVerb Error:^^J\space \space #1^^J}
                                                  
l.41 \>[0]\<%
             
?