Agda User Manual v2.6.0.1McBride. Introduction to Dependently Typed Programming using Agda [http://www.youtube.com/playlist?list=PL44F162A8B8CB7C87]. (videos of lectures). Associated source files, with exercises [http://personal.cis postprocess-latex.pl script from the Agda data directory. You can copy it into the current directory by issuing the command $ cp $(dirname $(dirname $(agda-mode locate)))/postprocess-latex.pl . In order to you can then do the following: $ agda --latex {file}.lagda $ cd latex/ $ perl ../postprocess-latex.pl {file}.tex > {file}.processed $ mv {file}.processed {file}.tex $ xelatex {file}.tex Here is a full0 码力 | 256 页 | 247.15 KB | 1 年前3- Agda User Manual v2.6.0McBride. Introduction to Dependently Typed Programming using Agda [http://www.youtube.com/playlist?list=PL44F162A8B8CB7C87]. (videos of lectures). Associated source files, with exercises [http://personal.cis postprocess-latex.pl script from the Agda data directory. You can copy it into the current directory by issuing the command $ cp $(dirname $(dirname $(agda-mode locate)))/postprocess-latex.pl . In order to you can then do the following: $ agda --latex {file}.lagda $ cd latex/ $ perl ../postprocess-latex.pl {file}.tex > {file}.processed $ mv {file}.processed {file}.tex $ xelatex {file}.tex Here is a full0 码力 | 256 页 | 246.87 KB | 1 年前3
Agda User Manual v2.5.3postprocess-latex.pl script from the Agda data directory. You can copy it into the current directory by issuing the command $ cp $(dirname $(dirname $(agda-mode locate)))/postprocess-latex.pl . In order to you can then do the following: $ agda --latex {file}.lagda $ cd latex/ $ perl ../postprocess-latex.pl {file}.tex > {file}.processed $ mv {file}.processed {file}.tex $ xelatex {file}.tex Here is a full \end{document} Listing 4.2: Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf -use-make -xelatex all: $(AGDA) $(AFLAGS) $(SOURCE).lagda cd latex/ && \ perl0 码力 | 135 页 | 600.40 KB | 1 年前3- Agda User Manual v2.5.3postprocess-latex.pl script from the Agda data directory. You can copy it into the current directory by issuing the command $ cp $(dirname $(dirname $(agda-mode locate)))/postprocess-latex.pl . In order to you can then do the following: $ agda --latex {file}.lagda $ cd latex/ $ perl ../postprocess-latex.pl {file}.tex > {file}.processed $ mv {file}.processed {file}.tex $ xelatex {file}.tex Here is a full \end{document} Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf -use-make -xelatex all: $(AGDA) $(AFLAGS) $(SOURCE).lagda cd latex/ && \0 码力 | 185 页 | 185.00 KB | 1 年前3
- Agda User Manual v2.5.4.2postprocess-latex.pl script from the Agda data directory. You can copy it into the current directory by issuing the command $ cp $(dirname $(dirname $(agda-mode locate)))/postprocess-latex.pl . In order to you can then do the following: $ agda --latex {file}.lagda $ cd latex/ $ perl ../postprocess-latex.pl {file}.tex > {file}.processed $ mv {file}.processed {file}.tex $ xelatex {file}.tex Here is a full \end{document} Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf -use-make -xelatex all: $(AGDA) $(AFLAGS) $(SOURCE).lagda cd latex/ && \0 码力 | 216 页 | 207.61 KB | 1 年前3
- Agda User Manual v2.5.4postprocess-latex.pl script from the Agda data directory. You can copy it into the current directory by issuing the command $ cp $(dirname $(dirname $(agda-mode locate)))/postprocess-latex.pl . In order to you can then do the following: $ agda --latex {file}.lagda $ cd latex/ $ perl ../postprocess-latex.pl {file}.tex > {file}.processed $ mv {file}.processed {file}.tex $ xelatex {file}.tex Here is a full \end{document} Listing 2: Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf -use-make -xelatex all: $(AGDA) $(AFLAGS) $(SOURCE).lagda cd latex/ && \ perl0 码力 | 155 页 | 668.67 KB | 1 年前3
- Agda User Manual v2.5.4.1postprocess-latex.pl script from the Agda data directory. You can copy it into the current directory by issuing the command $ cp $(dirname $(dirname $(agda-mode locate)))/postprocess-latex.pl . In order to you can then do the following: $ agda --latex {file}.lagda $ cd latex/ $ perl ../postprocess-latex.pl {file}.tex > {file}.processed $ mv {file}.processed {file}.tex $ xelatex {file}.tex Here is a full \end{document} Listing 2: Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf -use-make -xelatex all: $(AGDA) $(AFLAGS) $(SOURCE).lagda cd latex/ && \ perl0 码力 | 155 页 | 668.90 KB | 1 年前3
- Agda User Manual v2.5.4.1postprocess-latex.pl script from the Agda data directory. You can copy it into the current directory by issuing the command $ cp $(dirname $(dirname $(agda-mode locate)))/postprocess-latex.pl . In order to you can then do the following: $ agda --latex {file}.lagda $ cd latex/ $ perl ../postprocess-latex.pl {file}.tex > {file}.processed $ mv {file}.processed {file}.tex $ xelatex {file}.tex Here is a full \end{document} Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf -use-make -xelatex all: $(AGDA) $(AFLAGS) $(SOURCE).lagda cd latex/ && \0 码力 | 216 页 | 207.64 KB | 1 年前3
- Agda User Manual v2.5.4.2postprocess-latex.pl script from the Agda data directory. You can copy it into the current directory by issuing the command $ cp $(dirname $(dirname $(agda-mode locate)))/postprocess-latex.pl . In order to you can then do the following: $ agda --latex {file}.lagda $ cd latex/ $ perl ../postprocess-latex.pl {file}.tex > {file}.processed $ mv {file}.processed {file}.tex $ xelatex {file}.tex Here is a full \end{document} Listing 2: Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf -use-make -xelatex all: $(AGDA) $(AFLAGS) $(SOURCE).lagda cd latex/ && \ perl0 码力 | 155 页 | 668.75 KB | 1 年前3
- Agda User Manual v2.5.4postprocess-latex.pl script from the Agda data directory. You can copy it into the current directory by issuing the command $ cp $(dirname $(dirname $(agda-mode locate)))/postprocess-latex.pl . In order to you can then do the following: $ agda --latex {file}.lagda $ cd latex/ $ perl ../postprocess-latex.pl {file}.tex > {file}.processed $ mv {file}.processed {file}.tex $ xelatex {file}.tex Here is a full \end{document} Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf -use-make -xelatex all: $(AGDA) $(AFLAGS) $(SOURCE).lagda cd latex/ && \0 码力 | 216 页 | 207.63 KB | 1 年前3
共 32 条
- 1
- 2
- 3
- 4