-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathTrialRun.tex
More file actions
82 lines (75 loc) · 1.93 KB
/
TrialRun.tex
File metadata and controls
82 lines (75 loc) · 1.93 KB
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
\documentclass[a4paper,10pt]{article}
\usepackage{longtable,geometry}
\usepackage[english]{babel}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[babel]{csquotes}
\usepackage{multicol}
\usepackage{eurosym}
\MakeAutoQuote{«}{»}
\pagestyle{headings}
\geometry{dvips,a4paper,margin=1.5in}
\usepackage[usenames]{color}
\usepackage{amssymb,amsmath}
\usepackage{listings}
\usepackage{verbatim}
\usepackage{moreverb}
\usepackage{txfonts}
\addtolength{\hoffset}{-1.5cm}
\addtolength{\voffset}{-1.5cm}
\addtolength{\textwidth}{3cm}
\addtolength{\textheight}{3cm}
\title{Trial Run}
\author{by ToF}
\input{LittleHaskeller.tex}
\begin{document}
\lstset{
language=Haskell,
basicstyle=\color{black}\sffamily,
columns=fullflexible,
tabsize=4,
tab=$\to$,
literate={->}{$\to$ }2 {>=}{$\geq$}1 {==>}{$\Longrightarrow$}1 {lll}{$\lambda$}1 {__}{\space}1,
numberstyle=\tiny,
float=tbph,
extendedchars,
breaklines,
frame=none,
showtabs=false,
showspaces=false,
showstringspaces=false,
keywordstyle=\color{blue},
identifierstyle=\color{black}\textsl,
morekeywords={subsequences, comparing, Card},
stringstyle=\color{darkgreen},
commentstyle=\color{red},
captionpos=b,
aboveskip=\bigskipamount,
belowskip=\bigskipamount}
\setlength{\columnsep}{1cm}
\parindent = 0cm
\maketitle
\troislambdas
\vspace{9cm}
\hrule
\lhQ Are you there ?
\lhA Yes.
\lhN Do you see rules between questions ?
\lhA Yes.
\lhN Can we write snippets of \il!Haskell -> Code! ?
\lhA Seems so.
\lhN Can we write bigger blocks like this one:
\begin{lstlisting}[frame=single]
module Main where
putStrLn "Hello, World!"
\end{lstlisting}
\hspace*{\fill}
\lhA Yes indeed.
\lhN Do we have the test status coloured bullets ?
\lhA Let me check: \error checked \failure checked \success checked \\
Yes we have.
\lhN Good! Then can we go on ?
\lhA Let's go!
\lhend
%**************************************************************************************************
\end{document}