dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 11:08:25 +00:00
Code Issues Releases Wiki Activity

Fix definition style

Browse Source
This commit is contained in:
Daniel Hillerström
2020-10-21 14:36:30 +01:00
parent 5f7bf83332
commit c707eb769e
2 changed files with 18 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
thesis.bib
View File

@@ -1352,3 +1352,12 @@
publisher = {Cambridge University Press}, publisher = {Cambridge University Press},
year = {2016} year = {2016}
} }
# Andrej's tutorial
@article{Bauer18,
author = {Andrej Bauer},
title = {What is algebraic about algebraic effects and handlers?},
journal = {CoRR},
volume = {abs/1807.05923},
year = {2018}
}

11
thesis.tex
View File

@@ -92,12 +92,12 @@
\newtheorem{lemma}[theorem]{Lemma} \newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition} \newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary} \newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition} \newtheorem{definition}[theorem]{Definition}
% Example environment. % Example environment.
\makeatletter \makeatletter
\def\@endtheorem{\hfill$\blacksquare$\endtrivlist\@endpefalse} % inserts a black square at the end. \def\@endtheorem{\hfill$\blacksquare$\endtrivlist\@endpefalse} % inserts a black square at the end.
\makeatother \makeatother
\theoremstyle{definition}
\newtheorem{example}{Example}[chapter] \newtheorem{example}{Example}[chapter]
%% %%
@@ -470,7 +470,14 @@ respectively.
\begin{definition}[Algebra]\label{def:algebra} \begin{definition}[Algebra]\label{def:algebra}
\end{definition} \end{definition}
\section{Programming languages} \section{Algebraic effects and their handlers}
\label{sec:algebraic-effects}
See \citeauthor{Bauer18}'s tutorial~\cite{Bauer18} for an excellent
thorough account of the mathematics underpinning algebraic effects and
handlers.
\section{Typed programming languages}
\label{sec:pls} \label{sec:pls}
% %
\dhil{Definition of (typed) programming language, conservative extension, macro-expressiveness} \dhil{Definition of (typed) programming language, conservative extension, macro-expressiveness}