on master help sign in
Better formatting and english
commit08e40ea8c23f1f72ff01e50b9a427b1ded3d7eb8 authoriko <ilyakooo0@gmail.com> dateSun 25 Apr 2021, 22:49 (5 years ago) parent5d5ba1a
2 files changed+8−6
docs/nix/sources.json+3−3 docs/paper.lhs+5−3
docs/nix/sources.json+3−3
@@ -17,10 +17,10 @@
1717 "homepage": "https://iko.soy/kursach/techDoc",
1818 "owner": "ilyakooo0",
1919 "repo": "TechDoc",
20− "rev": "2af7b7ed1ca066eb58e7f4b737ef14eeb83bf97c",
21− "sha256": "0cn5y1bj7sp129s41bmv3kz0k5f4hxqgclndpz1l554shs3s07fg",
20+ "rev": "ab77f326ffe0ff054308ca48221940ec3809d4db",
21+ "sha256": "0m94dwd7pjsgrfk8hra3gyhbd2wxk07xsdxb386vbymmk9cvfxji",
2222 "type": "tarball",
23− "url": "https://github.com/ilyakooo0/TechDoc/archive/2af7b7ed1ca066eb58e7f4b737ef14eeb83bf97c.tar.gz",
23+ "url": "https://github.com/ilyakooo0/TechDoc/archive/ab77f326ffe0ff054308ca48221940ec3809d4db.tar.gz",
2424 "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
2525 },
2626 "niv": {
docs/paper.lhs+5−3
@@ -7,6 +7,8 @@
77
88\selectlanguage{english}
99
10+\sectionsAreChapters
11+
1012\floatstyle{boxed}
1113\newfloat{Listing}{hbp}{lst}
1214
@@ -16,8 +18,8 @@
1618
1719\year{2021}
1820\title{Static analyzer for the Nix Expression Language}
19−\author{Студент группы БПИ 174}{И. И. Костюченко}
20−% \academicTeacher{Доцент департамента программной инженерии факультета компьютерных наук, канд. техн. наук}{Х. М. Салех}
21+\author{Student, BSE174}{I. I. Kostyuchenko}
22+\academicTeacher{Associate Professor, PhD}{V. V. Kuliamin}
2123
2224% \documentTitle{Техническое задание}
2325% \documentCode{RU.17701729.04.03-01 ТЗ 01-1}
@@ -94,7 +96,7 @@ Atomic types are described in table~\ref{tab:atomicTypes}.
9496 URI & A string literal representing a URI. Does not require quoting. & \texttt{https://example.com} \\ \hline
9597 Path literal & A path literal referring to either a relative or absolute path. Does not require quoting. & \texttt{../../directory/file.txt} \\ \hline
9698 Integer & The current C implementation of Nix allows values of 64-bit signed integers. & \texttt{69} \newline \texttt{-42} \\ \hline
97− Float & Floating point integers. & \texttt{42.9} \newline \texttt{-69.42} \\ \hline
99+ Float & Floating point numbers. & \texttt{42.9} \newline \texttt{-69.42} \\ \hline
98100 Bool & Boolean values. & \texttt{true} \newline \texttt{false} \\ \hline
99101 Null & A type with a single value. & \texttt{null} \\ \hline
100102 \end{tabular}