equal
deleted
inserted
replaced
18 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
18 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
19 |
19 |
20 % beamer stuff |
20 % beamer stuff |
21 \renewcommand{\slidecaption}{PEP (Scala) \liningnums{01}, King's College London} |
21 \renewcommand{\slidecaption}{PEP (Scala) \liningnums{01}, King's College London} |
22 |
22 |
|
23 %https://insights.stackoverflow.com/survey/2019#technology-most-loved-dreaded-and-wanted |
23 |
24 |
24 \begin{document} |
25 \begin{document} |
25 |
26 |
26 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
27 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
27 \begin{frame}[t] |
28 \begin{frame}[t] |