mirror of
https://github.com/dhil/phd-dissertation
synced 2026-03-13 11:08:25 +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,%
|
||||
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.
|
||||
% \title{Higher-Order Theories of Handlers for Algebraic Effects}
|
||||
% \title{Handlers for Algebraic Effects: Applications, Compilation, and Expressiveness}
|
||||
% \title{Applications, Compilation, and Expressiveness for Effect Handlers}
|
||||
% \title{Handling Computational Effects}
|
||||
\title{Programming Computable Effectful Functions}
|
||||
% \title{Programming Computable Effectful Functions}
|
||||
\title{Handling Effectful Computations}
|
||||
\author{Daniel Hillerström}
|
||||
|
||||
%% If the year of submission is not the current year, uncomment this line and
|
||||
|
||||
Reference in New Issue
Block a user