Browse Source

Fix a few pauses

stripped-german
Julian Ospald 9 years ago
parent
commit
f789b46833
No known key found for this signature in database GPG Key ID: 220CD1C5BDEED020
2 changed files with 3 additions and 2 deletions
  1. +2
    -2
      VL1/content/VL1_why_haskell2.tex
  2. +1
    -0
      VL1/content/VL1_write_haskell4.tex

+ 2
- 2
VL1/content/VL1_why_haskell2.tex View File

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


+ 1
- 0
VL1/content/VL1_write_haskell4.tex View File

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

Loading…
Cancel
Save