首页 文库资料 文章资讯  上传文档  发布文章  登录账户

分类

全部后端开发(32)其它语言(32)

语言

全部英语(32)

格式

全部PDF文档 PDF(18)其他文档 其他(14)
 
本次搜索耗时 0.053 秒，为您找到相关结果约 32 个.

  • pdf文档 Agda User Manual v2.5.3

    {file}.tex Here is a full example, consisting of a Literate Agda file Example.lagda and a makefile Makefile. Listing 4.1: Example.lagda \documentclass{article} \usepackage[references]{agda} \begin{document} Documentation, Release 2.5.3 \begin{code} postulate apa : Set \end{code} \end{document} Listing 4.2: Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf
    0 码力 | 135 页 | 600.40 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.5.3

    {file}.tex Here is a full example, consisting of a Literate Agda file Example.lagda and a makefile Makefile. Example.lagda \documentclass{article} \usepackage[references]{agda} \begin{document} Here Here we postulate \AgdaRef{apa}. \begin{code} postulate apa : Set \end{code} \end{document} Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf
    0 码力 | 185 页 | 185.00 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.5.4.2

    {file}.tex Here is a full example, consisting of a Literate Agda file Example.lagda and a makefile Makefile. Example.lagda \documentclass{article} \usepackage[references]{agda} \begin{document} Here Here we postulate \AgdaRef{apa}. \begin{code} postulate apa : Set \end{code} \end{document} Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf
    0 码力 | 216 页 | 207.61 KB | 1 年前
    3

  • pdf文档 Agda User Manual v2.5.4

    {file}.tex Here is a full example, consisting of a Literate Agda file Example.lagda and a makefile Makefile. Listing 1: Example.lagda \documentclass{article} \usepackage[references]{agda} \begin{document} postulate \AgdaRef{apa}. \begin{code} postulate apa : Set \end{code} \end{document} Listing 2: Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf
    0 码力 | 155 页 | 668.67 KB | 1 年前
    3

  • pdf文档 Agda User Manual v2.5.4.1

    {file}.tex Here is a full example, consisting of a Literate Agda file Example.lagda and a makefile Makefile. Listing 1: Example.lagda \documentclass{article} \usepackage[references]{agda} \begin{document} postulate \AgdaRef{apa}. \begin{code} postulate apa : Set \end{code} \end{document} Listing 2: Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf
    0 码力 | 155 页 | 668.90 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.5.4.1

    {file}.tex Here is a full example, consisting of a Literate Agda file Example.lagda and a makefile Makefile. Example.lagda \documentclass{article} \usepackage[references]{agda} \begin{document} Here Here we postulate \AgdaRef{apa}. \begin{code} postulate apa : Set \end{code} \end{document} Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf
    0 码力 | 216 页 | 207.64 KB | 1 年前
    3

  • pdf文档 Agda User Manual v2.5.4.2

    {file}.tex Here is a full example, consisting of a Literate Agda file Example.lagda and a makefile Makefile. Listing 1: Example.lagda \documentclass{article} \usepackage[references]{agda} \begin{document} postulate \AgdaRef{apa}. \begin{code} postulate apa : Set \end{code} \end{document} Listing 2: Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf
    0 码力 | 155 页 | 668.75 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.5.4

    {file}.tex Here is a full example, consisting of a Literate Agda file Example.lagda and a makefile Makefile. Example.lagda \documentclass{article} \usepackage[references]{agda} \begin{document} Here Here we postulate \AgdaRef{apa}. \begin{code} postulate apa : Set \end{code} \end{document} Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf
    0 码力 | 216 页 | 207.63 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.6.0.1

    {file}.tex Here is a full example, consisting of a Literate Agda file Example.lagda and a makefile Makefile. Example.lagda \documentclass{article} \usepackage[references]{agda} \begin{document} Here Here we postulate \AgdaRef{apa}. % \begin{code} postulate apa : Set \end{code} \end{document} Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf
    0 码力 | 256 页 | 247.15 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.6.0

    {file}.tex Here is a full example, consisting of a Literate Agda file Example.lagda and a makefile Makefile. Example.lagda \documentclass{article} \usepackage[references]{agda} \begin{document} Here Here we postulate \AgdaRef{apa}. % \begin{code} postulate apa : Set \end{code} \end{document} Makefile AGDA=agda AFLAGS=-i. --latex SOURCE=Example POSTPROCESS=postprocess-latex.pl LATEX=latexmk -pdf
    0 码力 | 256 页 | 246.87 KB | 1 年前
    3
共 32 条
  • 1
  • 2
  • 3
  • 4
前往
页
相关搜索词
AgdaUserManualv25.35.46.0