From 10430151869bfe9628b49ace4011307f43dcc91e Mon Sep 17 00:00:00 2001 From: nek0 Date: Mon, 20 Jan 2020 08:00:10 +0100 Subject: [PATCH] change font size of twelve days --- Functional programming.pdf | Bin 116185 -> 116167 bytes Functional programming.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/Functional programming.pdf b/Functional programming.pdf index 0fa84b4a0ab24a2d478884f228a86d23e1fdae19..806f9d133632acd3bdd7a2ef9acd02644e876c95 100644 GIT binary patch delta 3924 zcmV-a53BImiwDPx2Y|EziFAK8H$FZJb98cLVQmU{+Pz%OuIsiD-uEf=0%kb;9RfiX z0onrXD#6(mUHDjb7C{!t`!71AL{Xw>TO#S^#^?I@T0?U9&G4HaY4~%1fzuxttQY_# z13-Y`_Q$}PlQR7jdieF9g%AJwjo#2jo1fvE`G@q)KZlD2=KO!dC60e42Bjs_N(wg! zt>+p1bsrwXFQ;ZEywTtO$}vsmxcLs{HF1*mh(H!^e*GL6TbQI@8#X^arqm`QZu8p%_YlG z`d5GI zIT@uRLqs8-YjxUhC8uF6$(3CD>kx(8ub40J+dwbVoU+V#Gz~&A4jM7){+2K9pgh3{ zBTi)U0+s`Q-Fvy`Mii16$BoHHMALgDPz;38kdNdo&Rd@c#~LKgP5YQEvC~YXU$TPT zk|$(#9!w!QB~E`{_|y8;9*U~0UhncI6?YyKf$UGA&IgVA7<}zmWeen$$*)O(oo$&) zd791%O&<8It(L9^&IGqY@2*y-JO+Sc)`INiF@VHqE!7UphV=I!M321lmIJwBgXBF+ zdwzc;JKmn6y+*g>xwR2Hn0s$QU<;?cN8Mdk=~HlEZco#ZNfX-@3=FXI{#1E=~mk3fWrQR3d0tYd@o^#t)x96Bt)|uS|=0OAW>%m7ZU1)r<*>#lX?Vgut3~eyE7u5(n zBbY?9+p${Q8E+0GuLQgA<<#lC>5eSe;?8ygDfU>u%>nM@d3qymAr{%_+Ze7Ia>N=* zti(>313DLk(pU#Na*vD)>snCFx-Zq!-@>4erVpXemm15U3-+gMKYXJD*5(BEOQaILQdXl_NDSW zqU}C_oAaPJ1u5%{ZXawCI2}5vvVr}EdxMCHybl<~l!j29tYW4k(8nwy9l?THzGv$8 z{b;rcplzp^QJOwR5f6V^V-?^Cf~a(xRm6XMiRxn(a{|TYK3lDVwf;;-lEYTOb-wu% zQ3&=B>|*?YT?m6d+}F7$@Pn?aV2#L=9GG%_U>8##wgz^Iq+Ap;0auCrc?O8`0x#JeedoS9)M{(pa63Tj`34W~0PhZ`GbSlBa@Fma@pL*&ddh$5Ve4 zp3`W|g1iOet4dItMJyDlk3lS~DccB7QQ~HNjJwappWWbb=VOs9)GoSH6^RU;GxpW! ztxRCaJoEuz$~@E{Fji?qBLow_>4U*Ua0*WOF$a(yj33G8%^3-o8|GBIdQ8dd7%hDa zjfo%}m_;*7h$nj=RK}u4onKs01%H1k09cc^lfgFyZ+e>rOBf^M+=B`t2C)EMl@@rLEOJuQ4 zYnBdtDafyP(%O<`D;a7k7)LGE;ce~>vURFUDYQo2#gZNNQXUAhB&oH2>gHm9Wv%9x zG+CYI=CWNg>Sp%b&C5mhY>R(xZYtchDJ~}4>RjC1!PuR=xr2s?_<6xt9O51Ux^;JsEc;Y zf#{^H#1%KnirI*celKO=&MPi)vlhiImC7!f3q4Y<0J3#9rTijIZFn?(ZS2C#6h88 z2w%owE|rU0#BQZz=~I6oTIk(;ANTdGV<)9*&XfdYcJr;yhNL^aE{H@DG@AMyoo`Z0 znUd@_rmhDiAyISac2KUxg?09?cu`EurSX}y&0sMi?w-L-jll1ebu=5doRVvKN#(R4T+T|arg25g)wKpsZOHib^Lg$Xf#aHh&%u%?=2julF zJs6&FuvLj`s{MbNs#=+)6~lCrg=Q0WED}$K>o6YW|M!P(&AP(NED4JcA>(onBB2(_&H<* zXd`_u0G)RX(DL;oi0-p%UFX&1cgfeidJI@Dx*|YX3KaP)%K;s20-Ok?jAGVWp99Fn zS7&DbJ*x~Hap8+Fy|#Su{A21)KFlxN?}#A9_F;Y(puT6sS&M51psvBnWnRui{0@yD!VzLe=`#9#jQKbFkz zLYEPZ0TZ`_e*um`e_L)%kp7VKzv6e)*?6UQ%9PFK5k|Rwv)al^hXUv<4$%ixy0LY|%o8(6LGTd_;&%dU-Fq?(||< zcKzvvkF>E#E7sC=`e{81kaTN`@#|dV=*q8~=H`j?mQj*tI#TGZLAYF-__%deJYR+IGkb<^gvv-yV#`f$Ez+WPw7 zXj)z7qx21}TNm@IgR?2PRJ7M47+NgKd`8sb2!Pa|>^6xqQNPdYP0e{^m&h@iCB1+3f z&`994D078q`{@o~%uyy{_>{6kYF_>0_{H;+8!J>oTFcq*ks0*_nZdn(*VOp`F*Wvq z)NBClc4qXqnK2J#X18iNTtR*KBK>hbsiuHGy>+gGYns7_DlQmwW8(Yj=Xn9?oW2W8U6OXx*;mi}4`@#V*LN+iqHZ@{3G+{VmF*Pw{H8f^4W;tXw zG-EktF)}hRH$FTzFg7+dVl^~jIASq1F=RC~W;A9wWHvNoIc703GB7unZNmXDe=;*Z zJ_>Vma%Ev{3V7Nz)Y((dQ5eVZ^Qml+6bV_QEET0>$(AKcC?!j_NF|aYTb4>xqDa}Y zQAdIp-Mr?^d(NEmo#)JaopY|QFUYx2_Y9xn4qT4U z@g?@+D|FKPs(zgdca9?5i9r~Qe<3&k2g>QI?H`1@F;gxi$)6S#55p21E~VF4563bb zA!U5D9)X83QpyarJ`#`MC@Cx3dK4bT(NcDW^=LeXW2D>;>tnG7$4Lbrf2_ygDI6~q zez!gW&)`Iq$^<$<}y;U$chDsrq($0nR1Rlc=8 z6R+SbsXEen0$#;Lsiw$!5?;sIQe9v^bFc%GrH0qmQ?L`~N{v6Qr{Zl)lbYhJ&%?Wz zF13_epO5!(0WQQvn1PF>f7Tw`zXTuRQmHL4=ViDK*W(Jz#tpa;SK=C6i>q)G=3p+a z#w^^7+b|FFaSImUR(yixxE=RkA@0Ir+>870ARfR{Jd2003M;S@Phd43$67pzr?Cys z;YGZF_1KJ!cp0x@3%258Y{xFVfj99U-oiWh2)prt)c(o;A3E~v8;yFT&R$=7qpiH? iUw8ZR?w9xT59j^^oSSP{m$1bFAPF)!3MC~)PeuwabG%sq delta 3934 zcmV-k525hKiwD_@2Y|EziFAKAIX*rLb98cLVQmU{+Pz%K&f~ZdzUL|Q0%lk&ZUqeb z5FiPVoF?d7kb{3OIRrV(y#FCZO4LHp{w0#m%(%yPTUBJSmai6R_-%ke^1m=RHGoF} z-~oo)e+MZDarsl3;U9l3eEIvo`3+yR`7{19|B`?C+i-CpDEu>A5;uP}XoJFNR5U1K zrWO4D7@otgr&i$%|6x(_cH)m#pX1*jr3CQ{7cLIJS${l5M+!|o$~XQZeKO#C;$Hzt;NOnF@KWAy{Qq#}eOb(L`3IrTd-uFZ zi_VUl*SvYp+7y;+q=#vhSLXS}{I5>R2e0&jiSMZ2a`^lF?mub!8_KAJG^BJ!8SfZg z3$@p410x8CKV%dh*RyK@DGUxHyreY}te3wxHc0&bKqlbtq#m*wrCr0__NlJsx+?hevppQA|X zj9%2{sKN9--E$nl3oD6zPR7yO-khB9MzV{{7zL9H<`tt3R_IWDHyX(4=Oq&@6* zJZffVW|qyw0`jo!__G8Y6fY!%ffc65c&dEv3LG8)@2J+Mlg3bjyLy*_{BlhjyN3VfZ)DRxtgPi(8o z1!(Fls9q|kEC|qhHy%{(dOv6O=NJ4o9CCVx*^o&|yI1xAh=a1^R@}3?3}>!QAv-_RVjj@}CwDvW)M0;Lw<=!hSD z2LdhvNrzHf8wSY8v_gOlxo8kUH52;p?hwb)1t&dQzQGhimX*qjN8I5#mC%fMeSQkn zMlpXP36~v4rAeR>;5n6jA(Lnfetb0=MvCXJRIx6cf2Wb9Yxx7q58I4ls+qVxHUW~) zf!$qx4nR`{)Q>63x|rJsBp{@Ai2=p3fT@>dOc-jfECH~j1Nj(`PhFrL_jLTJTNc|G{gI0noR%s7 zmVKiZrZR--rG}{v;p+4-^=znB5fkLWUaGj1J4#OaIVF`rCqGi-OErq!e#UOrbF65m z9O`3AnNWi{w2W5lFh%=r%9&anmCAp)00_m-TN-Qg0h4)7B+ML1@LNn3>pm4TJM7t! zB>QF^Y|D6kdT1wf$BB&Jk*Jv3N%KD$srs=UumVj01o_&MRHd-wa5sLFi*=dV8Q;Af z&pC&d=7YB=jI-W00zM;!X8`GQg0VZ9`ZS?9awHKi9yoH~jAr`nir=6^++Tlw5-QK7 zuug(gLOZG4PHvAht2edxj!r+lYoS$%ZY*?#OuJ2T^Vm@*$r%u+qUXyccO6SUOLwrX z>{cVRrOehQG-AYLt?4GTrTA7b)1`}?gjk2b=3${K(WSzgZI#_T9Mnm65XYUhg_k}q zja$|VZmONt3T|rTwF_>7(7k^Imk_inI=Qix*Ce=A1+GSLolQmLh?ba!bssX4q(T|4V~NpOPqdKdhn)V3XhYUv^4Jda*i>fcmR zROj@s67M<993%_47v9?vjEb1Ra)U@$c<uKJpNM3_dZps0E4YELVQnPFFr z{J`)hrS)F?DR~ZMD`i!zGc%f%#A-2aBq=~jHN$)D#|@?N-0&Tklx3eR6@+Zvg?q{_ ze9WAC__t+?gG7}Jx6Xfs^8ALVRJWwcm4x{mEJmZ*uJ-v@-)wf0sMW$bXDDB7b**H% zHS7W${4KwO`tzJ_Yg_6l*?mtvBPoEH=G%LP(u`uSu5KZOHDfnSwueNmm&g-e`rW6F)4fqUe)758TN0e>SVvuEjrw=$=2_m|T9{{lQ7hoR z7xi-vDv#$UdQj6XN~L|O^(|H1dtc)`t=;pzPG|ZVzEhq~FXSvg)LgSgJ*vGm5|tDP zq*TH2P;yg-J|yIVoj7i8-W)n#I7>jXyxAqm7`>*;UV17-8Ms} zJCOGH_;uQ?cO>y~I~hrpAQ>Bv`Qnl{K6ra$%+p~tFXPw!*(VU1CC0?jz=D`R_V^PBr7NRt;dpyI0mUhS4ymO0 zwfDL>;S4%DVoKjQ0*wf zPP5g=nmn+>l@MzF93Q}I#KPTBH>#f#1m}4@%Wz{$!F@G5xFs7)?)p&C+6b^RM#1gE z9=91wFy<5dw{o0z4mbALvQTzG;qX2zv!>|LJm&yp_1fwmlVe?1=JBiK>0Ul~Y)7~v zIT?Su8-+ENb2&Z$IFUv%t|V|##u@qQ=0QM{5gX1p5ysaRC!T*U-pQv2s)50q2UOdq z2eQTyTLsD$_(hNFl1JfkquG@jqj#6Tc>>_t@f1iRLwajeX+>Y*F0+;23q;Txp@BUv zYszZjju-x%WGv?^{}sQZ&c>TXK0k_! zK;3gldRnv>F`ie|G*5qS@;A%2EanK0PQJ`8^OExVdO2&xv^x1VuH=Z=qBR&9TeM)} zV~Z9#gpN(x=OaRF(#w0M^}E`ET2#k z)+vm6e|es@Sy^4($`mc!uGgENpPkTWy1>)ptjXim*T1}ccYOS})1uB^RrBibU4FGJ zvznyOubVcXoy|W~(1-Iy)7IAqN7L#uAEj?--MW}x9h^={bD)C#H-DbMYcCu0D1$ zN1v~LDW)I`ltxv@M6yGRA>+`*?=rax}jxa|YQmyTYs9zhaju{B5m8z;f<^+TMVTu^+fR1@V~#Qr!>5!TQuFE`$1k3r+*qL! zSX$10kIbki$PDiNyQaqfkEyW_q-FzXw=<)^&5U^{GrLvG;R@=*7wM1lNi_xh>8*1e zT+<9bRB^$e8x!AGKhFzD=k&#}M|g36jE{A~-F0I1!1G_5JD1SH0YyS$I509{W;bLq zHf3UFGGSseVrFAzI5ah5IXN&nHZx&9JYqO7GGS&nWHL5oVrDX7VlrZ8V`exsHDftB zFgZ3eVV76K0Wg0tIX*rLb98cLVQmU{+BMWkP!3=m$MNS^*&->jWi7H)l#=DOWyunX zWXTpuMIy2#Qc;N_W#5-@#0+C}Fyrj#=EU7NxMAki^PPW}&ph*;XP)Po=b3q&b1oPR zaW33F#V5E8m*6veiCy>#o%Fu3N9Q7)qX@TS2!>)9_Q8L?a{6ZT`{7Q^lnYDttHs26 z^L~1Z{4TCK-P;-G{qo!UJY>(3C8i!VGt~M}JcPrftZeHsco>IE+2z(p;87eY<+fWNg;h9O z%KuAD0TZP1 z9P3lC5vNKOZ>>+mOE_JsjJBSLmoZ7IDzu)AS8;|^TW@_PwquG^_sM!HcHk_j;h*(1 zyou>jW5D`syp0)BbB*;mcn{~|Je-dKTp+c4wE2Gv@c}N9TH~!R#?`n6mtr=q#dWw0 zSK=yMj_WZ8b8!V`;Rf7-8!-6z0}_5 sxzrcY?Mqj(l@~qZ*S@?9dO!bh?muKlY@(N*#Q`7*H82V#B}Gq03QzR0p8x;= diff --git a/Functional programming.tex b/Functional programming.tex index ed48e77..0c4280e 100644 --- a/Functional programming.tex +++ b/Functional programming.tex @@ -168,7 +168,7 @@ fib n = fib (n - 2) + fib (n - 1) \frametitle{Advanced Example} \lstinputlisting[ - basicstyle=\color{white}\fontsize{9pt}{9pt}\ttfamily + basicstyle=\color{white}\fontsize{8pt}{8pt}\ttfamily ]{12days.hs} \end{frame}