1
0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 11:08:25 +00:00

Compare commits

...

2 Commits

Author SHA1 Message Date
ddd151a76c Merge 2019-11-18 17:33:25 +00:00
6553c629ec Font tweaking. 2019-11-18 17:32:00 +00:00

View File

@@ -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