This repository has been archived by the owner on Jan 21, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathuser-guide.tex
100 lines (80 loc) · 2.15 KB
/
user-guide.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
% !TeX root = ./user-guide.tex
\documentclass[12pt,a4paper,oneside,fleqn]{book}
\usepackage[utf8]{inputenc}
\usepackage{hyperref}
\usepackage{url}
\usepackage{listings}
\usepackage{graphicx}
\usepackage{amsmath}
\usepackage[T1]{fontenc}
\usepackage{geometry}
\usepackage{makeidx}
\usepackage{mathtools}
\usepackage{subcaption}
\usepackage[dvipsnames]{xcolor}
\usepackage{intentio-macros}
\setlength{\parindent}{0em}
\setlength{\parskip}{1em}
\hypersetup{
bookmarksopen=true,
citecolor=blue,
colorlinks=true,
linkcolor=blue,
pdfauthor={Anna Bukowska, Marek Kaput},
pdfpagemode=UseOutlines,
pdftitle={Język programowania inspirowany językiem Icon wraz z kompilatorem},
urlcolor=blue,
}
\lstdefinestyle{stdstyle}{
backgroundcolor=\color{white},
basicstyle=\footnotesize\ttfamily,
breakatwhitespace=false,
breaklines=true,
captionpos=t,
commentstyle=\color{Sepia},
frame=single,
framexleftmargin=3.5em,
keepspaces=true,
keywordstyle=\color{Blue}\bfseries,
numbers=left,
numberstyle=\footnotesize,
showspaces=false,
showstringspaces=false,
showtabs=false,
stringstyle=\color{OliveGreen},
tabsize=2,
xleftmargin=4em,
}
\lstset{style=stdstyle}
\lstdefinelanguage{intentio}{
morekeywords=[1]{and, break, const, do, else, enum, eval, export, extern, fail, fun, if, impl, import, in, is, module, none, not, or, return, struct, succ, trait, type, while, xor, yield, \_},
sensitive=true,
morecomment=[l]{\#}, % l is for line comment
morestring=[b]" % defines that strings are enclosed in double quotes
}
\makeindex
\author{Anna Bukowska, Marek Kaput}
\title{User Guide}
\begin{document}
\frontmatter
\maketitle
\tableofcontents
\include{chapters/preface}
\mainmatter
\part{Introduction}
\include{chapters/hello-world}
\include{chapters/result}
\include{chapters/goal-evaluation}
\include{chapters/control-structures}
\include{chapters/math-operations}
\include{chapters/functions}
\include{chapters/types}
\include{chapters/operations-on-strings}
\include{chapters/expressions}
\include{chapters/assignments}
\include{chapters/module}
\backmatter
\clearpage
\addcontentsline{toc}{chapter}{Index}
\printindex
\end{document}