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

Delimited and undelimited continuations

Browse Source
This commit is contained in:
Daniel Hillerström
2020-12-04 23:40:00 +00:00
parent e2b07fbf5f
commit 5c7483cb31
2 changed files with 221 additions and 53 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
macros.tex
View File

@@ -13,9 +13,9 @@
\newcommand{\Z}{\ensuremath{\mathbb{Z}}}
\newcommand{\B}{\ensuremath{\mathbb{B}}}
\newcommand{\BB}[1]{\ensuremath{\mathbf{#1}}}
\newcommand{\CC}{\keyw{C}}
\newcommand{\CC}{\keyw{ctrl}}
% \newcommand{\Delim}[1]{\ensuremath{\langle\!\!\mkern-1.5mu\langle#1\rangle\!\!\mkern-1.5mu\rangle}}
\newcommand{\Delim}[1]{\ensuremath{\langle#1\rangle}}
\newcommand{\Delim}[1]{\ensuremath{\keyw{del}.#1}}
\newcommand{\sembr}[1]{\ensuremath{\llbracket #1 \rrbracket}}
%%
@@ -444,6 +444,7 @@
\pmb{\left\langle\vphantom{#1}\right.}%
#1%
\pmb{\left.\vphantom{#1}\right\rangle}}
\newcommand{\llambda}{\ensuremath{\pmb{\lambda}}}
\newcommand{\reset}[1]{\pmb{\langle} #1 \pmb{\rangle}}
\newcommand{\resetz}[1]{\pmb{\langle} #1 \pmb{\rangle}_0}
\newcommand{\fcontrol}{\keyw{fcontrol}}