From e9317c2366bb6fb9b6079e81e58598ff7041682a Mon Sep 17 00:00:00 2001 From: 简律纯 Date: Mon, 24 Jul 2023 12:23:30 +0800 Subject: 😶‍🌫️Push LaTeX MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/main.aux | 16 ++++++ src/main.fdb_latexmk | 37 ++++++++++++ src/main.fls | 100 ++++++++++++++++++++++++++++++++ src/main.log | 158 +++++++++++++++++++++++++++++++++++++++++++++++++++ src/main.pdf | Bin 0 -> 52923 bytes src/main.synctex.gz | Bin 0 -> 6776 bytes src/main.tex | 65 +++++++++++++++++++++ 7 files changed, 376 insertions(+) create mode 100644 src/main.aux create mode 100644 src/main.fdb_latexmk create mode 100644 src/main.fls create mode 100644 src/main.log create mode 100644 src/main.pdf create mode 100644 src/main.synctex.gz create mode 100644 src/main.tex (limited to 'src') diff --git a/src/main.aux b/src/main.aux new file mode 100644 index 0000000..8778f01 --- /dev/null +++ b/src/main.aux @@ -0,0 +1,16 @@ +\relax +\@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {II}Features}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-A}}Lexer Module}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-B}}Parser Module}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-C}}Built-in Types Module}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-D}}Error Handling Module}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-E}}Execution Environment Module}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-F}}Interpreter Module}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-G}}Mathematics Foundation Module}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-H}}Documentation Module}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {III}Getting Started}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {IV}Keywords}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {V}Contribution}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {VI}License}{1}{}\protected@file@percent } +\gdef \@abspage@last{1} diff --git a/src/main.fdb_latexmk b/src/main.fdb_latexmk new file mode 100644 index 0000000..e60c234 --- /dev/null +++ b/src/main.fdb_latexmk @@ -0,0 +1,37 @@ +# Fdb version 4 +["pdflatex"] 1690172592 "f:/HsiangNianian/psi/src/main.tex" "main.pdf" "main" 1690172595 0 + "f:/HsiangNianian/psi/src/main.tex" 1690172588 2249 14014709aa12192f398d5ef2723c5576 "" + "f:/texlive/2023/texmf-dist/fonts/enc/dvips/base/8r.enc" 1686596455 4850 80dc9bab7f31fb78a000ccfed0e27cab "" + "f:/texlive/2023/texmf-dist/fonts/map/fontname/texfonts.map" 1686596844 3524 cb3e574dea2d1052e39280babc910dc8 "" + "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" 1686599988 2172 fd0c924230362ff848a33632ed45dc23 "" + "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" 1686599988 4524 6bce29db5bc272ba5f332261583fee9c "" + "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm" 1686599988 2228 e564491c42a4540b5ebb710a75ff306c "" + "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm" 1686599988 4480 10409ed8bab5aea9ec9a78028b763919 "" + "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm" 1686599988 2124 2601a75482e9426d33db523edf23570a "" + "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" 1686599988 4408 25b74d011a4c66b7f212c0cc3c90061b "" + "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm" 1686599988 2680 312a2d12b1f1df8ee0212e7ba1962402 "" + "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" 1686599988 2288 f478fc8fed18759effb59f3dad7f3084 "" + "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" 1686599988 4640 532ca3305aad10cc01d769f3f91f1029 "" + "f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" 1686599988 44729 fea0975e20ec51c992338362f05f1146 "" + "f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb" 1686599988 44656 0cbca70e0534538582128f6b54593cca "" + "f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" 1686599988 46026 687528a208fbfc1f00832bb96cccebbb "" + "f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" 1686599988 45458 504e2b06fa82109d168c7a0afb09e145 "" + "f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" 1686599988 1372 788387fea833ef5963f4c5bffe33eb89 "" + "f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf" 1686599988 1384 6ac0f8b839230f5d9389287365b243c0 "" + "f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf" 1686599988 1380 0ea3a3370054be6da6acd929ec569f06 "" + "f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf" 1686599988 1948 7330aeef3af211edff3b35fb2c12a0fd "" + "f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" 1686599988 1384 a9d8adaf491ce34e5fba99dc7bbe5f39 "" + "f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls" 1686597312 281957 5b2e4fa15b0f7eabb840ebf67df4c0f7 "" + "f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1686597566 30429 213676d4c7327a21d91ddaed900e7b81 "" + "f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd" 1686598894 961 15056f4a61917ceed3a44e4ac11fcc52 "" + "f:/texlive/2023/texmf-dist/web2c/texmf.cnf" 1686595165 40745 87bb86a62d462f93a1efc6b0c65c872e "" + "f:/texlive/2023/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1686600724 4662804 b208f5a7147b9c917dce03cb7ea949d8 "" + "f:/texlive/2023/texmf-var/web2c/pdftex/pdflatex.fmt" 1686600959 7883431 edc0631e5cfd0c90eb1cca2bb9c4ecf7 "" + "f:/texlive/2023/texmf.cnf" 1686600677 713 e69b156964470283e0530f5060668171 "" + "main.aux" 1690172594 1613 81195b337ca108147868943282b88349 "pdflatex" + "main.tex" 1690172588 2249 14014709aa12192f398d5ef2723c5576 "" + (generated) + "main.aux" + "main.log" + "main.pdf" + (rewritten before read) diff --git a/src/main.fls b/src/main.fls new file mode 100644 index 0000000..460e464 --- /dev/null +++ b/src/main.fls @@ -0,0 +1,100 @@ +PWD f:/HsiangNianian/psi/src +INPUT f:/texlive/2023/texmf.cnf +INPUT f:/texlive/2023/texmf-dist/web2c/texmf.cnf +INPUT f:/texlive/2023/texmf-var/web2c/pdftex/pdflatex.fmt +INPUT f:/HsiangNianian/psi/src/main.tex +OUTPUT main.log +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +INPUT f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd +INPUT f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd +INPUT f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd +INPUT f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd +INPUT f:/texlive/2023/texmf-dist/fonts/map/fontname/texfonts.map +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT ./main.aux +INPUT main.aux +INPUT main.aux +OUTPUT main.aux +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm +OUTPUT main.pdf +INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT f:/texlive/2023/texmf-var/fonts/map/pdftex/updmap/pdftex.map +INPUT f:/texlive/2023/texmf-dist/fonts/enc/dvips/base/8r.enc +INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm +INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf +INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT main.aux +INPUT f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmb8a.pfb +INPUT f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb +INPUT f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmr8a.pfb +INPUT f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmri8a.pfb diff --git a/src/main.log b/src/main.log new file mode 100644 index 0000000..77f8759 --- /dev/null +++ b/src/main.log @@ -0,0 +1,158 @@ +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) (preloaded format=pdflatex 2023.6.13) 24 JUL 2023 12:23 +entering extended mode + restricted \write18 enabled. + file:line:error style messages enabled. + %&-line parsing enabled. +**f:/HsiangNianian/psi/src/main.tex +(f:/HsiangNianian/psi/src/main.tex +LaTeX2e <2022-11-01> patch level 1 +L3 programming layer <2023-02-22> (f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls +Document Class: IEEEtran 2015/08/26 V1.8b by Michael Shell +-- See the "IEEEtran_HOWTO" manual for usage information. +-- http://www.michaelshell.org/tex/ieeetran/ +\@IEEEtrantmpdimenA=\dimen140 +\@IEEEtrantmpdimenB=\dimen141 +\@IEEEtrantmpdimenC=\dimen142 +\@IEEEtrantmpcountA=\count185 +\@IEEEtrantmpcountB=\count186 +\@IEEEtrantmpcountC=\count187 +\@IEEEtrantmptoksA=\toks16 +LaTeX Font Info: Trying to load font information for OT1+ptm on input line 503. +(f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd +File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. +) +-- Using 8.5in x 11in (letter) paper. +-- Using PDF output. +\@IEEEnormalsizeunitybaselineskip=\dimen143 +-- This is a 10 point document. +\CLASSINFOnormalsizebaselineskip=\dimen144 +\CLASSINFOnormalsizeunitybaselineskip=\dimen145 +\IEEEnormaljot=\dimen146 +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <5> not available +(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <7> not available +(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <8> not available +(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <9> not available +(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <10> not available +(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <11> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <11> not available +(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <12> not available +(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <17> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <17> not available +(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <20> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <20> not available +(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <24> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. +LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <24> not available +(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. +\IEEEquantizedlength=\dimen147 +\IEEEquantizedlengthdiff=\dimen148 +\IEEEquantizedtextheightdiff=\dimen149 +\IEEEilabelindentA=\dimen150 +\IEEEilabelindentB=\dimen151 +\IEEEilabelindent=\dimen152 +\IEEEelabelindent=\dimen153 +\IEEEdlabelindent=\dimen154 +\IEEElabelindent=\dimen155 +\IEEEiednormlabelsep=\dimen156 +\IEEEiedmathlabelsep=\dimen157 +\IEEEiedtopsep=\skip48 +\c@section=\count188 +\c@subsection=\count189 +\c@subsubsection=\count190 +\c@paragraph=\count191 +\c@IEEEsubequation=\count192 +\abovecaptionskip=\skip49 +\belowcaptionskip=\skip50 +\c@figure=\count193 +\c@table=\count194 +\@IEEEeqnnumcols=\count195 +\@IEEEeqncolcnt=\count196 +\@IEEEsubeqnnumrollback=\count197 +\@IEEEquantizeheightA=\dimen158 +\@IEEEquantizeheightB=\dimen159 +\@IEEEquantizeheightC=\dimen160 +\@IEEEquantizeprevdepth=\dimen161 +\@IEEEquantizemultiple=\count198 +\@IEEEquantizeboxA=\box51 +\@IEEEtmpitemindent=\dimen162 +\IEEEPARstartletwidth=\dimen163 +\c@IEEEbiography=\count199 +\@IEEEtranrubishbin=\box52 +) (f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count266 +\l__pdf_internal_box=\box53 +) (./main.aux) +\openout1 = `main.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. + +-- Lines per column: 56 (exact). + +** Conference Paper ** +Before submitting the final camera ready copy, remember to: + + 1. Manually equalize the lengths of two columns on the last page + of your paper; + + 2. Ensure that any PostScript and/or PDF output post-processing + uses only Type 1 fonts and that every step in the generation + process uses the appropriate paper size. + +[1{f:/texlive/2023/texmf-var/fonts/map/pdftex/updmap/pdftex.map}{f:/texlive/2023/texmf-dist/fonts/enc/dvips/base/8r.enc} + + +] (./main.aux) ) +Here is how much of TeX's memory you used: + 1259 strings out of 476025 + 25183 string characters out of 5794015 + 1858382 words of memory out of 5000000 + 21779 multiletter control sequences out of 15000+600000 + 541654 words of font info for 80 fonts, out of 8000000 for 9000 + 1141 hyphenation exceptions out of 8191 + 36i,8n,37p,288b,261s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on main.pdf (1 page, 52923 bytes). +PDF statistics: + 29 PDF objects out of 1000 (max. 8388607) + 17 compressed objects within 1 object stream + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/src/main.pdf b/src/main.pdf new file mode 100644 index 0000000..069af95 Binary files /dev/null and b/src/main.pdf differ diff --git a/src/main.synctex.gz b/src/main.synctex.gz new file mode 100644 index 0000000..c9ec95d Binary files /dev/null and b/src/main.synctex.gz differ diff --git a/src/main.tex b/src/main.tex new file mode 100644 index 0000000..4013b74 --- /dev/null +++ b/src/main.tex @@ -0,0 +1,65 @@ +\documentclass[conference]{IEEEtran} + +\begin{document} +\title{Psi CLI Language} +\author{\IEEEauthorblockN{HsiangNianian} +\IEEEauthorblockA{\textit{Department of Computer Science} \\ +\textit{University of RBQ U.}\\ +i@jyunko.cn}} +\maketitle + +\begin{abstract} + Psi is a new programming language designed with simplicity, flexibility, and performance in mind. It provides a clean and intuitive syntax that is easy to read and write, making it an excellent choice for both beginners and experienced programmers. +\end{abstract} + +\section{Introduction} +This section introduces the Psi CLI language and its features. + +\section{Features} +This section describes the key features of the Psi CLI language. + +\subsection{Lexer Module} +The lexer module is responsible for converting source code into a sequence of tokens. + +\subsection{Parser Module} +The parser module converts the token sequence into an abstract syntax tree (AST). + +\subsection{Built-in Types Module} +The built-in types module defines the built-in types of the Psi language, such as lists and dictionaries. + +\subsection{Error Handling Module} +The error handling module provides mechanisms for capturing and handling errors at runtime. + +\subsection{Execution Environment Module} +The execution environment module defines the execution environment of the Psi language. + +\subsection{Interpreter Module} +The interpreter module executes operations based on the AST within the execution environment. + +\subsection{Mathematics Foundation Module} +The mathematics foundation module provides basic mathematical functions and constants. + +\subsection{Documentation Module} +The documentation module provides API interface descriptions and usage examples. + +\section{Getting Started} +This section explains how to get started with the Psi CLI language. + +\section{Keywords} +This section lists the keywords used in the Psi CLI language. + +\section{Contribution} +This section outlines how to contribute to the Psi project. + +\section{License} +This section provides information about the license of the Psi CLI language. + +\section*{Acknowledgment} +The authors would like to thank... + +\section*{References} +[1] Reference 1 + +[2] Reference 2 + +\end{document} \ No newline at end of file -- cgit v1.2.3-70-g09d2 From 747de8e728f3d40a227246804dcfceadfa202317 Mon Sep 17 00:00:00 2001 From: 简律纯 Date: Mon, 24 Jul 2023 12:28:56 +0800 Subject: 😎clear unused files MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .gitignore | 11 +++- src/main.aux | 16 ------ src/main.fdb_latexmk | 37 ------------ src/main.fls | 100 -------------------------------- src/main.log | 158 --------------------------------------------------- src/main.synctex.gz | Bin 6776 -> 0 bytes 6 files changed, 10 insertions(+), 312 deletions(-) delete mode 100644 src/main.aux delete mode 100644 src/main.fdb_latexmk delete mode 100644 src/main.fls delete mode 100644 src/main.log delete mode 100644 src/main.synctex.gz (limited to 'src') diff --git a/.gitignore b/.gitignore index 690fd63..a3a18ac 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,11 @@ readme.md -__pycache__ \ No newline at end of file + +# python +__pycache__ + +# LaTeX +src/main.aux +src/main.fdb_latexmk +src/main.fls +src/main.log +src/main.synctex.gz \ No newline at end of file diff --git a/src/main.aux b/src/main.aux deleted file mode 100644 index 8778f01..0000000 --- a/src/main.aux +++ /dev/null @@ -1,16 +0,0 @@ -\relax -\@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {II}Features}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-A}}Lexer Module}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-B}}Parser Module}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-C}}Built-in Types Module}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-D}}Error Handling Module}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-E}}Execution Environment Module}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-F}}Interpreter Module}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-G}}Mathematics Foundation Module}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-H}}Documentation Module}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {III}Getting Started}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {IV}Keywords}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {V}Contribution}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {VI}License}{1}{}\protected@file@percent } -\gdef \@abspage@last{1} diff --git a/src/main.fdb_latexmk b/src/main.fdb_latexmk deleted file mode 100644 index e60c234..0000000 --- a/src/main.fdb_latexmk +++ /dev/null @@ -1,37 +0,0 @@ -# Fdb version 4 -["pdflatex"] 1690172592 "f:/HsiangNianian/psi/src/main.tex" "main.pdf" "main" 1690172595 0 - "f:/HsiangNianian/psi/src/main.tex" 1690172588 2249 14014709aa12192f398d5ef2723c5576 "" - "f:/texlive/2023/texmf-dist/fonts/enc/dvips/base/8r.enc" 1686596455 4850 80dc9bab7f31fb78a000ccfed0e27cab "" - "f:/texlive/2023/texmf-dist/fonts/map/fontname/texfonts.map" 1686596844 3524 cb3e574dea2d1052e39280babc910dc8 "" - "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" 1686599988 2172 fd0c924230362ff848a33632ed45dc23 "" - "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" 1686599988 4524 6bce29db5bc272ba5f332261583fee9c "" - "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm" 1686599988 2228 e564491c42a4540b5ebb710a75ff306c "" - "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm" 1686599988 4480 10409ed8bab5aea9ec9a78028b763919 "" - "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm" 1686599988 2124 2601a75482e9426d33db523edf23570a "" - "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" 1686599988 4408 25b74d011a4c66b7f212c0cc3c90061b "" - "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm" 1686599988 2680 312a2d12b1f1df8ee0212e7ba1962402 "" - "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" 1686599988 2288 f478fc8fed18759effb59f3dad7f3084 "" - "f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" 1686599988 4640 532ca3305aad10cc01d769f3f91f1029 "" - "f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" 1686599988 44729 fea0975e20ec51c992338362f05f1146 "" - "f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb" 1686599988 44656 0cbca70e0534538582128f6b54593cca "" - "f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" 1686599988 46026 687528a208fbfc1f00832bb96cccebbb "" - "f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" 1686599988 45458 504e2b06fa82109d168c7a0afb09e145 "" - "f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" 1686599988 1372 788387fea833ef5963f4c5bffe33eb89 "" - "f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf" 1686599988 1384 6ac0f8b839230f5d9389287365b243c0 "" - "f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf" 1686599988 1380 0ea3a3370054be6da6acd929ec569f06 "" - "f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf" 1686599988 1948 7330aeef3af211edff3b35fb2c12a0fd "" - "f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" 1686599988 1384 a9d8adaf491ce34e5fba99dc7bbe5f39 "" - "f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls" 1686597312 281957 5b2e4fa15b0f7eabb840ebf67df4c0f7 "" - "f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1686597566 30429 213676d4c7327a21d91ddaed900e7b81 "" - "f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd" 1686598894 961 15056f4a61917ceed3a44e4ac11fcc52 "" - "f:/texlive/2023/texmf-dist/web2c/texmf.cnf" 1686595165 40745 87bb86a62d462f93a1efc6b0c65c872e "" - "f:/texlive/2023/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1686600724 4662804 b208f5a7147b9c917dce03cb7ea949d8 "" - "f:/texlive/2023/texmf-var/web2c/pdftex/pdflatex.fmt" 1686600959 7883431 edc0631e5cfd0c90eb1cca2bb9c4ecf7 "" - "f:/texlive/2023/texmf.cnf" 1686600677 713 e69b156964470283e0530f5060668171 "" - "main.aux" 1690172594 1613 81195b337ca108147868943282b88349 "pdflatex" - "main.tex" 1690172588 2249 14014709aa12192f398d5ef2723c5576 "" - (generated) - "main.aux" - "main.log" - "main.pdf" - (rewritten before read) diff --git a/src/main.fls b/src/main.fls deleted file mode 100644 index 460e464..0000000 --- a/src/main.fls +++ /dev/null @@ -1,100 +0,0 @@ -PWD f:/HsiangNianian/psi/src -INPUT f:/texlive/2023/texmf.cnf -INPUT f:/texlive/2023/texmf-dist/web2c/texmf.cnf -INPUT f:/texlive/2023/texmf-var/web2c/pdftex/pdflatex.fmt -INPUT f:/HsiangNianian/psi/src/main.tex -OUTPUT main.log -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -INPUT f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd -INPUT f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd -INPUT f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd -INPUT f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd -INPUT f:/texlive/2023/texmf-dist/fonts/map/fontname/texfonts.map -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT ./main.aux -INPUT main.aux -INPUT main.aux -OUTPUT main.aux -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm -OUTPUT main.pdf -INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT f:/texlive/2023/texmf-var/fonts/map/pdftex/updmap/pdftex.map -INPUT f:/texlive/2023/texmf-dist/fonts/enc/dvips/base/8r.enc -INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm -INPUT f:/texlive/2023/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf -INPUT f:/texlive/2023/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT main.aux -INPUT f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmb8a.pfb -INPUT f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb -INPUT f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmr8a.pfb -INPUT f:/texlive/2023/texmf-dist/fonts/type1/urw/times/utmri8a.pfb diff --git a/src/main.log b/src/main.log deleted file mode 100644 index 77f8759..0000000 --- a/src/main.log +++ /dev/null @@ -1,158 +0,0 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) (preloaded format=pdflatex 2023.6.13) 24 JUL 2023 12:23 -entering extended mode - restricted \write18 enabled. - file:line:error style messages enabled. - %&-line parsing enabled. -**f:/HsiangNianian/psi/src/main.tex -(f:/HsiangNianian/psi/src/main.tex -LaTeX2e <2022-11-01> patch level 1 -L3 programming layer <2023-02-22> (f:/texlive/2023/texmf-dist/tex/latex/ieeetran/IEEEtran.cls -Document Class: IEEEtran 2015/08/26 V1.8b by Michael Shell --- See the "IEEEtran_HOWTO" manual for usage information. --- http://www.michaelshell.org/tex/ieeetran/ -\@IEEEtrantmpdimenA=\dimen140 -\@IEEEtrantmpdimenB=\dimen141 -\@IEEEtrantmpdimenC=\dimen142 -\@IEEEtrantmpcountA=\count185 -\@IEEEtrantmpcountB=\count186 -\@IEEEtrantmpcountC=\count187 -\@IEEEtrantmptoksA=\toks16 -LaTeX Font Info: Trying to load font information for OT1+ptm on input line 503. -(f:/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd -File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. -) --- Using 8.5in x 11in (letter) paper. --- Using PDF output. -\@IEEEnormalsizeunitybaselineskip=\dimen143 --- This is a 10 point document. -\CLASSINFOnormalsizebaselineskip=\dimen144 -\CLASSINFOnormalsizeunitybaselineskip=\dimen145 -\IEEEnormaljot=\dimen146 -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <5> not available -(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <7> not available -(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <8> not available -(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <9> not available -(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <10> not available -(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <11> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <11> not available -(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <12> not available -(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <17> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <17> not available -(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <20> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <20> not available -(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <24> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. -LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <24> not available -(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -\IEEEquantizedlength=\dimen147 -\IEEEquantizedlengthdiff=\dimen148 -\IEEEquantizedtextheightdiff=\dimen149 -\IEEEilabelindentA=\dimen150 -\IEEEilabelindentB=\dimen151 -\IEEEilabelindent=\dimen152 -\IEEEelabelindent=\dimen153 -\IEEEdlabelindent=\dimen154 -\IEEElabelindent=\dimen155 -\IEEEiednormlabelsep=\dimen156 -\IEEEiedmathlabelsep=\dimen157 -\IEEEiedtopsep=\skip48 -\c@section=\count188 -\c@subsection=\count189 -\c@subsubsection=\count190 -\c@paragraph=\count191 -\c@IEEEsubequation=\count192 -\abovecaptionskip=\skip49 -\belowcaptionskip=\skip50 -\c@figure=\count193 -\c@table=\count194 -\@IEEEeqnnumcols=\count195 -\@IEEEeqncolcnt=\count196 -\@IEEEsubeqnnumrollback=\count197 -\@IEEEquantizeheightA=\dimen158 -\@IEEEquantizeheightB=\dimen159 -\@IEEEquantizeheightC=\dimen160 -\@IEEEquantizeprevdepth=\dimen161 -\@IEEEquantizemultiple=\count198 -\@IEEEquantizeboxA=\box51 -\@IEEEtmpitemindent=\dimen162 -\IEEEPARstartletwidth=\dimen163 -\c@IEEEbiography=\count199 -\@IEEEtranrubishbin=\box52 -) (f:/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX) -\l__color_backend_stack_int=\count266 -\l__pdf_internal_box=\box53 -) (./main.aux) -\openout1 = `main.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 3. -LaTeX Font Info: ... okay on input line 3. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 3. -LaTeX Font Info: ... okay on input line 3. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 3. -LaTeX Font Info: ... okay on input line 3. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 3. -LaTeX Font Info: ... okay on input line 3. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 3. -LaTeX Font Info: ... okay on input line 3. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 3. -LaTeX Font Info: ... okay on input line 3. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 3. -LaTeX Font Info: ... okay on input line 3. - --- Lines per column: 56 (exact). - -** Conference Paper ** -Before submitting the final camera ready copy, remember to: - - 1. Manually equalize the lengths of two columns on the last page - of your paper; - - 2. Ensure that any PostScript and/or PDF output post-processing - uses only Type 1 fonts and that every step in the generation - process uses the appropriate paper size. - -[1{f:/texlive/2023/texmf-var/fonts/map/pdftex/updmap/pdftex.map}{f:/texlive/2023/texmf-dist/fonts/enc/dvips/base/8r.enc} - - -] (./main.aux) ) -Here is how much of TeX's memory you used: - 1259 strings out of 476025 - 25183 string characters out of 5794015 - 1858382 words of memory out of 5000000 - 21779 multiletter control sequences out of 15000+600000 - 541654 words of font info for 80 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 36i,8n,37p,288b,261s stack positions out of 10000i,1000n,20000p,200000b,200000s - -Output written on main.pdf (1 page, 52923 bytes). -PDF statistics: - 29 PDF objects out of 1000 (max. 8388607) - 17 compressed objects within 1 object stream - 0 named destinations out of 1000 (max. 500000) - 1 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/src/main.synctex.gz b/src/main.synctex.gz deleted file mode 100644 index c9ec95d..0000000 Binary files a/src/main.synctex.gz and /dev/null differ -- cgit v1.2.3-70-g09d2 From ccbe69c9e072c4bf8364e23a461d224e150a421f Mon Sep 17 00:00:00 2001 From: 简律纯 Date: Mon, 24 Jul 2023 12:51:48 +0800 Subject: 😎beauty table MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/main.pdf | Bin 52923 -> 54209 bytes src/main.tex | 32 +++++++++++++++++++++++++++----- 2 files changed, 27 insertions(+), 5 deletions(-) (limited to 'src') diff --git a/src/main.pdf b/src/main.pdf index 069af95..4ec4dd7 100644 Binary files a/src/main.pdf and b/src/main.pdf differ diff --git a/src/main.tex b/src/main.tex index 4013b74..442d3d9 100644 --- a/src/main.tex +++ b/src/main.tex @@ -1,11 +1,12 @@ \documentclass[conference]{IEEEtran} +\usepackage{booktabs} \begin{document} \title{Psi CLI Language} \author{\IEEEauthorblockN{HsiangNianian} -\IEEEauthorblockA{\textit{Department of Computer Science} \\ -\textit{University of RBQ U.}\\ -i@jyunko.cn}} + \IEEEauthorblockA{\textit{Department of Computer Science} \\ + \textit{University of RBQ U.}\\ + i@jyunko.cn}} \maketitle \begin{abstract} @@ -20,6 +21,27 @@ This section describes the key features of the Psi CLI language. \subsection{Lexer Module} The lexer module is responsible for converting source code into a sequence of tokens. +It recognizes the basic elements of the language such as identifiers, keywords, operators, and literals. + +\begin{table}[htbp] + \caption{Code Tokens and Corresponding Meanings} + \label{table:code_tokens} + \centering + \begin{tabular}{@{} c|c @{}} + \toprule + \textbf{Token} & \textbf{Meaning} \\ + \midrule + list & TYPE \\ + colors & IDENTIFIER \\ + = & EQUALS \\ + red & IDENTIFIER \\ + , & COMMA \\ + blue & IDENTIFIER \\ + , & COMMA \\ + green & IDENTIFIER \\ + \bottomrule + \end{tabular} +\end{table} \subsection{Parser Module} The parser module converts the token sequence into an abstract syntax tree (AST). @@ -58,8 +80,8 @@ This section provides information about the license of the Psi CLI language. The authors would like to thank... \section*{References} -[1] Reference 1 + [1] Reference 1 -[2] Reference 2 + [2] Reference 2 \end{document} \ No newline at end of file -- cgit v1.2.3-70-g09d2 From a3709d1ec5596e3413e0320d882ecebfc00afba7 Mon Sep 17 00:00:00 2001 From: 简律纯 Date: Tue, 25 Jul 2023 23:10:19 +0800 Subject: charge index --- .gitignore | 2 +- docs/docs/index.md | 70 +++++++++++++++++++++-------------------------------- docs/mkdocs.yml | 38 +++++++---------------------- src/main.pdf | Bin 54209 -> 53625 bytes src/main.tex | 2 +- 5 files changed, 38 insertions(+), 74 deletions(-) (limited to 'src') diff --git a/.gitignore b/.gitignore index 1f70b39..1ac40bb 100644 --- a/.gitignore +++ b/.gitignore @@ -11,7 +11,7 @@ src/main.log src/main.synctex.gz # LangTrans -LangTrans-main/ +LangTrans/ # mkdocs docs/site/ \ No newline at end of file diff --git a/docs/docs/index.md b/docs/docs/index.md index e07e102..246dd18 100644 --- a/docs/docs/index.md +++ b/docs/docs/index.md @@ -2,58 +2,42 @@ hide: - path - navigation + - toc --- +
+

Psi CLI

-Psi CLI 语言 -======================== + Psi 是一个函数式编程语言，同时也是一个CLI语言，旨在通过人机交互实现指定的功能。该语言的设计目标是简单、易用、易学，同时也是一个多范式语言，支持函数式、命令式、面向对象、面向过程等多种编程范式。
+ 它是骰主以及插件或模型作者入门水系的关键。 -Psi is a new programming language designed with simplicity, flexibility, and performance in mind. It provides a clean and intuitive syntax that is easy to read and write, making it an excellent choice for both beginners and experienced programmers. +
+::cards:: cols=2 -Features --------- +- title: 词法分析器模块 + content: | + 词法分析器模块负责将源代码转换为一系列标记（tokens）。它识别语言的基本元素，如标识符、关键字、运算符和字面量。 + +- title: 语法分析器模块 + content: | + 语法分析器模块接收词法分析器模块生成的标记序列，并将其转换为抽象语法树（AST）。AST是一种类似树状的数据结构，以更接近编程语言的语法结构的方式表示源代码。 +- title: 内置类型模块 + content: | + 此模块定义了Psi语言的内置类型，如列表和字典。它提供了用于创建和操作这些类型实例的函数。 +- title: 错误处理模块 + content: | + 此模块提供了在运行时捕获和处理错误的机制。它定义了一组异常类和用于抛出和捕获这些异常的函数。 +- title: 执行环境模块 + content: | + 此模块定义了Psi语言的执行环境，包括变量的作用域和生命周期。它提供了用于在执行环境中定义和查找变量的函数。 +- title: 解释器模块 + content: | + 此模块的主要任务是遍历AST并在执行环境中执行相应的操作。 -- `Lexer Module`_: The lexer module is responsible for converting the source code into a sequence of tokens. It recognizes the basic elements of the language such as identifiers, keywords, operators, and literals. ``['OPERATOR', 'IDENTIFIER', 'SEPARATOR', 'SEPARATOR', 'CONTROL', 'IDENTIFIER', 'OPERATOR', 'INTEGER', 'SEPARATOR', 'IDENTIFIER', 'SEPARATOR', 'IDENTIFIER', 'OPERATOR', 'IDENTIFIER', 'SEPARATOR', 'IDENTIFIER', 'SEPARATOR', 'EOF']`` - -- `Parser Module`_: The parser module takes the sequence of tokens generated by the lexer module and transforms it into an Abstract Syntax Tree (AST). The AST is a tree-like data structure that represents the source code in a way that is closer to the syntactic structure of the programming language. - -- `Built-in Types Module`_: This module defines the built-in types of the Psi language, such as lists and dictionaries. It provides functions for creating and manipulating instances of these types. - -- `Error Handling Module`_: This module provides a mechanism for catching and handling errors during runtime. It defines a set of exception classes and functions for throwing and catching these exceptions. - -- `Execution Environment Module`_: This module defines the execution environment of the Psi language, including the scope and lifecycle of variables. It provides functions for defining and looking up variables in the execution environment. - -- `Interpreter Module`_: The main task of this module is to traverse the AST and perform the corresponding operations in the execution environment. - -- `Mathematics Foundation Module`_: This module provides basic mathematical functions and constants, such as addition, subtraction, multiplication, and division. - -- `Documentation Module`_: This module uses reStructuredText and Sphinx to build the documentation, providing API interface descriptions and usage examples. +::/cards:: - -Getting Started ---------------- - -To get started with Psi, you can clone the repository and follow the instructions in the README file. The repository includes a comprehensive set of examples that demonstrate the various features of the language. - - -Contributing ------------- - -Contributions to the Psi project are welcome. If you have a feature request, bug report, or proposal for improvement, please open an issue on the project's GitHub page. If you wish to contribute code, please fork the repository and submit a pull request. - -How to build docs - - git clone https://github.com/HydroRoll-Team/psi.git - cd psi/psi/docs - sphinx-build -b html . _build/html - - -License -------- - -Psi is open-source software, licensed under the MIT license. This means you are free to use, modify, and distribute it under the terms of this license. diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 086b8e4..260b4d4 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -1,15 +1,15 @@ -site_name: Psi Docs (Draft) +site_name: Psi 文档 (草案) repo_url: https://github.com/HydroRoll-Team/psi repo_name: HydroRoll-Team/psi edit_uri: edit/main/docs/docs/ site_author: Hsiang Nianian site_description: >- - Psi is a new programming language designed with simplicity, flexibility, and performance in mind. - It provides a clean and intuitive syntax that is easy to read and write, making it an excellent choice for both beginners and experienced programmers. - + Psi 是一个函数式编程语言，同时也是一个CLI语言，旨在通过人机交互实现指定的功能。 + 该语言的设计目标是简单、易用、易学，同时也是一个多范式语言，支持函数式、命令式、面向对象、面向过程等多种编程范式。 + theme: name: material - language: en + language: zh icon: logo: material/library-outline repo: fontawesome/brands/git-alt @@ -53,9 +53,6 @@ theme: name: Switch to system preference extra: - version: - provider: mike - default: stable homepage: https://psi.retrofor.space alternate: # - name: English @@ -65,12 +62,9 @@ extra: link: / lang: zh consent: - title: Cookie consent + title: Cookie 偏好设置 description: >- - We use cookies to recognize your repeated visits and preferences, as well - as to measure the effectiveness of our documentation and whether users - find what they're searching for. With your consent, you're helping us to - make our documentation better. + 我们使用Cookie来识别您的重复访问和偏好，以及衡量我们的文档的有效性和用户是否找到他们搜索的内容。在您的同意下，这将帮助我们改善我们的文档。 actions: - accept - manage @@ -81,21 +75,7 @@ extra: github: name: GitHub checked: true - analytics: - feedback: - title: Was this page helpful? - ratings: - - icon: material/emoticon-happy-outline - name: This page was helpful - data: 1 - note: >- - Thanks for your feedback! - - icon: material/emoticon-sad-outline - name: This page could be improved - data: 0 - note: >- - Thanks for your feedback! Help us improve this page by - using our feedback form. + social: - icon: fontawesome/brands/github link: https://github.com/HydroRoll-Team @@ -109,7 +89,7 @@ extra_javascript: copyright: > Copyright © 2013 - PRESENT. HydroRoll-Team – - Change cookie settings + 管理Cookie markdown_extensions: - neoteroi.timeline diff --git a/src/main.pdf b/src/main.pdf index 4ec4dd7..17cd01a 100644 Binary files a/src/main.pdf and b/src/main.pdf differ diff --git a/src/main.tex b/src/main.tex index 442d3d9..5ceff2a 100644 --- a/src/main.tex +++ b/src/main.tex @@ -5,7 +5,7 @@ \title{Psi CLI Language} \author{\IEEEauthorblockN{HsiangNianian} \IEEEauthorblockA{\textit{Department of Computer Science} \\ - \textit{University of RBQ U.}\\ + \textit{Founder of Psi}\\ i@jyunko.cn}} \maketitle -- cgit v1.2.3-70-g09d2