mirror of
https://github.com/dhil/phd-dissertation
synced 2026-03-13 02:58:26 +00:00
Compare commits
2 Commits
6c3b8509a0
...
ddd151a76c
| Author | SHA1 | Date | |
|---|---|---|---|
| ddd151a76c | |||
| 6553c629ec |
15
thesis.tex
15
thesis.tex
@@ -34,12 +34,25 @@
|
|||||||
decorations.pathreplacing,decorations.pathmorphing,shapes,%
|
decorations.pathreplacing,decorations.pathmorphing,shapes,%
|
||||||
matrix,shapes.symbols,intersections}
|
matrix,shapes.symbols,intersections}
|
||||||
|
|
||||||
|
\SetProtrusion{encoding={*},family={bch},series={*},size={6,7}}
|
||||||
|
{1={ ,750},2={ ,500},3={ ,500},4={ ,500},5={ ,500},
|
||||||
|
6={ ,500},7={ ,600},8={ ,500},9={ ,500},0={ ,500}}
|
||||||
|
|
||||||
|
\SetExtraKerning[unit=space]
|
||||||
|
{encoding={*}, family={bch}, series={*}, size={footnotesize,small,normalsize}}
|
||||||
|
{\textendash={400,400}, % en-dash, add more space around it
|
||||||
|
"28={ ,150}, % left bracket, add space from right
|
||||||
|
"29={150, }, % right bracket, add space from left
|
||||||
|
\textquotedblleft={ ,150}, % left quotation mark, space from right
|
||||||
|
\textquotedblright={150, }} % right quotation mark, space from left
|
||||||
|
|
||||||
%% Information about the title, etc.
|
%% Information about the title, etc.
|
||||||
% \title{Higher-Order Theories of Handlers for Algebraic Effects}
|
% \title{Higher-Order Theories of Handlers for Algebraic Effects}
|
||||||
% \title{Handlers for Algebraic Effects: Applications, Compilation, and Expressiveness}
|
% \title{Handlers for Algebraic Effects: Applications, Compilation, and Expressiveness}
|
||||||
% \title{Applications, Compilation, and Expressiveness for Effect Handlers}
|
% \title{Applications, Compilation, and Expressiveness for Effect Handlers}
|
||||||
% \title{Handling Computational Effects}
|
% \title{Handling Computational Effects}
|
||||||
\title{Programming Computable Effectful Functions}
|
% \title{Programming Computable Effectful Functions}
|
||||||
|
\title{Handling Effectful Computations}
|
||||||
\author{Daniel Hillerström}
|
\author{Daniel Hillerström}
|
||||||
|
|
||||||
%% If the year of submission is not the current year, uncomment this line and
|
%% If the year of submission is not the current year, uncomment this line and
|
||||||
|
|||||||
Reference in New Issue
Block a user