From d5879f3e5bfdd900b06cbb9f6e08bf34fbe2631e Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Sun, 13 Dec 2009 14:55:24 +0100
Subject: [PATCH] Add some slides to my part.

---
 figures/Pythagoras.png    | Bin 0 -> 3016 bytes
 matthijs/introduction.lhs |  73 +++++++++++++++++++++++++++++++++++++-
 2 files changed, 72 insertions(+), 1 deletion(-)
 create mode 100644 figures/Pythagoras.png

diff --git a/figures/Pythagoras.png b/figures/Pythagoras.png
new file mode 100644
index 0000000000000000000000000000000000000000..0ca936dbba37b813d8ba4506444e9d3bd6920fdd
GIT binary patch
literal 3016
zcmd5;2~g8#7RPo4H6mrYLRT&etrsC#bR|(hszidE8g>bH5EUv42}cto@Q;;7uq*^G
zQb5R9np%cSKnxfl7!eQz1VIw65V=I|L<oTp_6y?G**dc`yEB`a|B?58dEf87?|Z+O
zOGjO>nj5xkP*YRWJYtW*sj01T1efo+Pk?2um%tS~)<od2htvw1^+&;%^(1@G2sJg>
z=c;RsTKbJIfKemzi1T3$;YLkOz0bn8rCR`>*AdLYzejaV^tyiAJ!@1qL!m{rW~Lhd
zXm5SQl5{ks`ohCvN95SfgU3Ge3={am=Y!UzZMBTt{p-59fOtcU)^UNMgL+?Tb<c*(
z-<&)SN81Zhj(5iirjnNosuT;0<@e;dV_kz!>jv7{Y=mg`a8*mpQ$a~pm0>k4ub@C@
z1O4P=Gf$Dozu3(o@)jq#J9|xF@yiPeX^YL`c*(WNV~mo>`q;$@j;*b&_T{!6Ru^qC
zHA#A?z8GoKt4Su^wx=p~u|3BP27~Erl6c44>JH1)4L0QrQHnfnq^F0cZaO_ID~}k-
zih8~t7XK&dVj{BY3w?bj$pJ4k6~z-p4J0L?$>W0D!m9L_y?01+(GY82#5OTCSUf(f
za2b_3!S&}bkT+UlIi$Et8kD6~l9*=t@(}S>o|*n2haLy4DI&0TH~+GTiU7tx@WpLP
zpkEDyc+-5?>f5q%QOibg`$T~FtDi(hG{wwS*8`(Jd7#%1%i7!9BU-FS&U>H%{WFD?
z!{809a1aowC&Dz|En&hdB7Mk0g^}pNu>S@+#G!u#e?t8G&~NZ4o#b~}zKyTK!{5tx
zCA11!3o5ZvkQJ!+8$KV!zfDi_dwde$yi(~8;sgBa99JHzp;ge8a+vVmr>^4jF+55K
z@kjWp)cP+4hfPgQrBdl^bmh?<m>T8MA{L9)P*)#B>GaJae9Hd1Z{I$1^O;txk+r1W
zMEmk7A)XMsS-X38xIBqIl^!wDoWx+Dwj_zg;v_vLlgR`7E}|_jDRmLNRx$Ti_gvub
z9GhLvq+lv$pLw&Og&a^ru7Dznl}Q?r_+8gcu*p3$IZCC{fh~ESh-@I<U{i9n4$N;g
zuC1-LpaqAA<Ddcaip0GcO=)Rq3Fw&l>9~0%D2>SZoSu;lWJQz2P#+QDG0dix7HrLn
z7cb)GhgI%V@|_C<44bM6ktcLQ%q_&_U}``^P0s8EIRn6ygNccWOnD)&B#rf`k$9J$
zd&=^qe1yeFFoNdANJ1%D%%^9dh*ipkF$wpo83F;xhnVs@U8JAYImzHK(;_nEJF<Ir
zYeIruc2QVkSC?0ID;iSFcjV$Z3%v;6d)JmN4K2y=#@+EUXt3pqVq!-slUYdM`4x6b
zk)fqtnK8GlE>7J6#Z!!AyXS@|96XCWdghltm-mXJsj82Z;mF1j2&|Gw<w<}4ekF~A
zfu;)BY<9v9W@Farf$vj9+%d^eqjp$-^%_{vV);TPw-|02yAX-d-yd1e7Y0hGoxVKC
z+IZLX2D=n*bhj-;xj=yAUn?1SROBZucODV%<_XW*VQ94FhK7d6kDYQm7C;fOc6R$`
zj`jZI3F7%n%61<ug12`gFVC-#WlbfAgqZP`#)Tzp-01;^0pIhUVwi=A!t_*}lV(!-
zgi)Ix2n2%brg(|0tzBF{HJLmeTpC?BmI%(-%uE>QUP{rK&Vq;5gt4|zj@b<}(kwT7
z5YI>Po}C)#gi7Egq(KVa%g5)R+zPEuSDU44wCNYw3@@~VYdVC)@&=M7BY4V%Gni`*
z?Bsj?fnrI9Sv?_H`Rb`FQQ6)}pc!am8HN+T@ov+>uAYtffzv&q2#;3U`GWqP49GB1
zWDu(^C5(=ax=@`nRG9w$`*9gWA5YJ}7#Sh2I}}z(9BwVq&3vGewQ+HAGb5&bo~f0x
zJ}MiR<DP4su-r-qzalqRSASFLWld8mYAd#H-%bNU?v?*6jX2T{X22vXKU>1}K_KDq
zKPNsE3Oz?gEKifk7PPGKzU=zqv!S5{!n0sRbaZsIwzfWq*P`@ibLf-+$koYdaAbsu
z@C}Fh(qL1F=C&c!&Jq%6H)+4LyMqX~5-P~EdN8KQUo6ps`+%dpB2};TL9Pk<{XTyP
z<x#dGRV&iK6oJ$JAK_O+$AL6&tCm(tkK9akdoR8^h`Ad7L%a&}U&5;bzoWj&M-~4#
z5^T?j*A;lrtV(_SCZKIk2EHr4Wr~Z}fE0Zx{GXb{Mq{1?!ql|FaLbkk=^_|)VNeww
zLQtd0GrT@=wtbKo71{$j7EJPo0bykFGkH1PJ8FN>s6-FvSEkrTL-(5R*|SHdDndT-
z67@?t3BOAD+?y;;zRlwQ!Sv!Atq>}toA}V16WY|=yuYl6m#H|I&SJSvsm<jT77`sH
zElo{%*jJj}yMK&qZo}j8QiXb3%tnnXu^Tnu`nO5d{53G}a%C>X_Q_@)UEQ(Sg|;@_
z&7%SyZCN1jAQB57@I~IYO7ipbon2j-4(wcf;V|cpSAKA5S8%BV8<*WmN+{D{hz-md
zi#Z}_vCfE=*AW~W8!Jx&H=yju%2#bbgp~6GTG&g}>GZqFbK-cTEOgk<euYN+!UvOw
zrn)&uW6-j-lKXo?dVdj~RXK4vJ?2vh-*UROkL|kt7)%LwH#awJa|?^RayLguN9|(>
zroq?n3U8z8puj-m=TC0hX4p{WlA#1NssH?^bUKBt=nV&AOYqzLT86Eno_x>eb8$)t
zkTS`zDJ?78!7rMgOlAEnlgUJ8e1@TQ`m%XrF}zXV9A2?#H77VhNt{laX=!RQLn1BR
zJ)%%Rc4+6Q+}>srMOskSBVsvuBK_%i@QTL4wb0nJe9PfX-i5u!lA!*si8(h{>mkx{
zv2S2hRGC-4i?egc-^eAx8(CQgz|g9x!DNZF!;}iS1N%8C4CPnaRbC9|M$H6N`nAwl
zc^>dhT3RC<urwIAhi)E4Fj=v4o^=~w8bPDy>7VLs@<98Gt8Ju2C3dPD+iB+l{&=e$
MIqZTdIOKofUk({g(f|Me

literal 0
HcmV?d00001

diff --git a/matthijs/introduction.lhs b/matthijs/introduction.lhs
index b8f01b9..22f0f0a 100644
--- a/matthijs/introduction.lhs
+++ b/matthijs/introduction.lhs
@@ -3,4 +3,75 @@
 \author{Matthijs Kooijman}
 \date{December 14, 2009}
 
-\frame{\titlepage \setcounter{framenumber}{1}}
\ No newline at end of file
+\frame{\titlepage \setcounter{framenumber}{1}}
+
+
+\frame
+{
+  \begin{block}{Applying the $sqrt$ function to 4}
+  $ sqrt(4) = 2$
+  \end{block}
+}
+
+\note[itemize]
+{
+  \item Functional language - Math like
+  \item Central: Functions
+  \item Outside:
+    \begin{itemize}
+      \item Put arguments in (application)
+      \item get result out
+    \end{itemize}
+  \item Inside:
+    \begin{itemize}
+      \item \emph{How} does the function work? (definition)
+    \end{itemize}
+
+  \item Next sheet: sqrt example
+}
+
+\frame
+{
+  \begin{block}{A mathematical square function}
+  $ f(x) = x * x$
+  \end{block}
+  
+  \pause
+  \begin{block}{A square function in Haskell}
+  \texttt{square x = x * x}
+  \end{block}
+}
+
+\note[itemize]
+{
+  \item Next sheet: f(x) = x*x example
+  \item Next sheet: square in Haskell
+  \item No braces
+  \item Next sheet: pyth in Haskell
+  \item Functions can be used by other functions
+}
+
+\frame
+{
+  \begin{columns}
+    \begin{column}{8cm}
+      \begin{block}{Pythagoras' theorem}
+      $ a^2 + b^2 = c^2 $
+
+      or
+
+      $ c = \sqrt{a^2 + b^2} $
+      \end{block}
+    \end{column}
+    \begin{column}{3cm}
+      \includegraphics[width=3cm]{figures/Pythagoras}
+    \end{column}
+  \end{columns}
+  \pause
+  % TODO: Alignment is weird due to mixing columns and non-columns
+  \begin{block}{Calculating $c$ in Haskell}
+    \texttt{pyth a b = sqrt ((square a) + (square b))}
+  \end{block}
+}
+
+% vim: set filetype=tex sw=2 sts=2 expandtab:
-- 
2.30.2