From f789b468334b581bfeba47942f0c2698e369e54c Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Mon, 20 Apr 2015 15:08:25 +0200 Subject: [PATCH] Fix a few pauses --- VL1/content/VL1_why_haskell2.tex | 4 ++-- VL1/content/VL1_write_haskell4.tex | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/VL1/content/VL1_why_haskell2.tex b/VL1/content/VL1_why_haskell2.tex index 58062d2..1c1b0d5 100644 --- a/VL1/content/VL1_why_haskell2.tex +++ b/VL1/content/VL1_why_haskell2.tex @@ -2,7 +2,7 @@ From C++ std: \begin{cppcode} void pop(); \end{cppcode} -\slidep +\pause From the C FLINT library: \begin{ccode} void fmpz_mod_poly_add( @@ -11,7 +11,7 @@ void fmpz_mod_poly_add( const fmpz_mod_poly_t poly2); \end{ccode} \vspace{\baselineskip} -\slidep +\pause Regular C functions in real-world (omitting examples on purpose): \begin{itemizep} \item 100+ LOC diff --git a/VL1/content/VL1_write_haskell4.tex b/VL1/content/VL1_write_haskell4.tex index 0fedc29..0652ed5 100644 --- a/VL1/content/VL1_write_haskell4.tex +++ b/VL1/content/VL1_write_haskell4.tex @@ -10,4 +10,5 @@ isZero x = False So if we pass it 0, we get True. If we do not pass 0, we get False and the value we passed gets basically ignored. \vspace{\baselineskip} \\ +\pause What might happen if we remove the second or the third line? What is a \textbf{partial function} and a \textbf{total function}? \ No newline at end of file