From a651a575599fb1b9f3e6b5ea59547c27a18e5c37 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADt=20=C5=A0efl?= Date: Mon, 23 Sep 2024 21:35:24 +0200 Subject: [PATCH 1/2] Add myself --- _data/members.yml | 7 +++++++ img/people/vit.jpg | Bin 0 -> 23557 bytes 2 files changed, 7 insertions(+) create mode 100644 img/people/vit.jpg diff --git a/_data/members.yml b/_data/members.yml index 4a071e3..b229d61 100644 --- a/_data/members.yml +++ b/_data/members.yml @@ -32,3 +32,10 @@ email: tomas.jakl@cvut.cz web: https://tomas.jakl.one interests: Interested in semantics properties of logics and programming languages. + +- name: Vít Šefl + photo: img/people/vit.jpg + position: PhD Student at MFF + email: sefl@ksvi.mff.cuni.cz + web: https://ksvi.mff.cuni.cz/~sefl + interests: Interested in functional programming, type systems, and theorem provers. diff --git a/img/people/vit.jpg b/img/people/vit.jpg new file mode 100644 index 0000000000000000000000000000000000000000..48e851718f63c3928a58a80a3293825c15d6865d GIT binary patch literal 23557 zcmeHvXIN9sw(t(2_bviL=uN8h-g~bCB0>@%5(tD)RH_1Mkls{Oq&EdYx&@>w7Mg$} z(iIexE=Azm0o!}dx#yne-sk@M-r>pYHEXR|vu0-P*)wZq*c;xPpwZV0L3sdxnHeAo z0022a24MuCAOr#b00=ukvJV4*JA~sGd>SJBgNF#@kp{pR;01qJh|E6B48my_Q2_Ce zyv5*i0HFLH2>?R$Kc89%j5`u$>4m{z0=zJOFdZG3jFhw-OxOYCi@*d2hyXHDGP252 z(#kS&Flhy4DOqJXMF4=_hWys=Hqoy#YHmY+!CPQ?gg^>`{@^A3vn~+c-*thA{#h3y z$WIv%8KPgZsi_ad0fyicY?XuO-tgW6K)qiJR~<6|viAj`-A@6CNCMy92oMcWlarHE zkW*7oP%}_bQZca5QB%{gurV>QFfp+)Q16EykAuWN#t<4RDjHfEdRkg~W?EWWW2@%l%}kTNIdRBH3_ zvsgcIKPHPk->X9=kYckqu>=p0W6iC)AgG&ai_mMy!^t1&vztUN-;ZwX51d-j7fQ>I zsZMVjm|iWYX@5PlX73Rcn^9QXG5BF!!N9>Y_+n;JUFXopZwvqt5vVQkzD{JMBy#&I z@JKTfgBtkrGLgtcB{LH=cw*hVc#PkD0((A1$A$$SAiE?$N>G4IP_Cs9R3h&XLeEYf zhn)PS!hfxS&~Fv?-U8In{W2K<4PfB4vP)mIZL!GdoBU~aZ77zkO;gerMb?azjqOYL zvvt!djg*WTtlt*O6j0;{h~Ej_G*U&a7zt?X^$eP4HTvPxQjF`YJ~89wRb-awX5T>W zayES2Y`pfpD8H~h!@{$9kV_+XdeS@OLF2IA0D(c*z>a!t(EmVn1Wn{B>@kXqOHtsfmtVY&~kumj|{FLmy-a#XYIb$qKiIkjBWIg6? z7_y-O&cXSmvo+viF>T_#ZFE3{LVu}zgg7q3aV7h5@4TGj+-TB-o-eoYk?-rTMt8`A zn^q2yoK#sh@#^GwzNj&@V#ALL)ypA%9Q1VMvQcga7IJIXq^RuEusEiV;r1X)Y?x!` z&};wA3uGVizCk6cPa56L&+e<1<)ZW71Hx>==n9^^R;uVX4^gMO8~pmY0eM+q!aOg> z9$<95bE_oInP++Bl`8ji_@|TO4%H`*adY#2JEwbfFpy!pw0G;#K$dIqvz_t*+3fKL z?@ngMYtj_n8|LgNovOT$#jvDvrD%li2F|=9v+vlB$N3Mc^Upf?tUI#LMNB!aemj-gpU!*hUlxi^vDxbz`f_`U(zB5yA<`ykIl|@cx%<*0 z8k)8rWg|qsj=-Cq-;FoeD!Ht4Ixtx>Aff0gW%l5t`q-6SkMo1K`naaPJJsx#O|jq8 zd$k8pm62UI7jfhEbDU?3+?L9ff<{d}mccX7Nz2dv8twD}rI(IX)ZF%Bq}NVDq+M{= z7DY4*>1y^Ew5Cb%GJm6IAQz{t*08E2gYD`)4>M5Dbg1LP1@TRWlBB=Ym{aO5?=D7I zZf)1otE*)mTGM+KJjf1_>vx$i6~rDIRbHP2YweLi|pJe63vBW$9Ad-ZxJ91*rW9PKQ7p<;LvWL3a8e@y6&A2S@dF}U>dAUoYRrG z6CTpj62BHGHXk7NV19Lh=YhtJcUr>>V+M2E>Au(c8e>e)d~(<+9Fmfb$#5bM33!h^ zDvue3UtjO9EtF|8ZW=Qs>X^^ZVt1~LzxHWXm-!s$hgt(MF|MNCj1J#-CumoiudQFz zxVin=M9_r&y@GxYU|x3VbdzLpCh3&)&6!t1i*NIVKlA(6ti6(=pe(YUJ9C)X#fA0y zttFP@LyGLrFZ$xb14ibpn&%#2ST6^m!U|r9qa?yq*n5T)eAP3J0 zWEVJ6`>tmw9^vPP4I^WDvGqADaN9XPJ#AxG6NQKvFROt21V$8aExq%rIxEk>eY~+e zB?yC}~!E-H4od zOIEzlqUHUB3s&>w_$=dDd(LGMxarEmdc>HejLy~Z56g-hWmomi$Ib%^_YI(3qMKR| z(353OC8%!baa!KQ+=;+$^sZSPUx2!Jp4H@0k)qE%SC9bxPh8?m*dDlKR za%f$d1+DbJh+^J>{N(~Bh5ysVQ|3BZnNODW=i06VixS-U zSZ9F(gTjZtVFsOko3pl#`d5Y%%JaxXYkJnd_$93XXT;D0otGTL;2a_^;FUhBV-80( z^jg2UY`!1Mzm4t;tgOs7O9)cw7P~)ZuUi`tvGr^!_(Z4lm#aOobD{}q&%JdpYh^-S z@^#+B{Nd?ezArp@92ZnpQCB!*B_z{*vQNIM_S1)(_c!g+>}n~q@GT23*148CisSSA)u%pOdSR%R zh&zr>9($@NIi)u2U~+g>H{{mriyot|&zSDes2Ht?+Ff+~qO4Gtz3YC{zEw%E*jMFM zw8D0;jR+lyJ8z5}!brZUT?UuzRAsaWJlgNlA@PQIFBmq)%+WDlQKhf=CTF0~R{S2& zRMuKBN%kc$ynnkbiEhn4K4c!vnnWFRx&a5RjU0;(cWWEWUh&qKda&ZD5ACOb<*+gWRJX# zee^(qoQsFq(d&ved0?#Rtjg&-vH&noX|8hR%%>YENAJ*nq2cS=j=>b#2f-UHBAnHOIOh}Kmu!mXa8cCoSg8s#0$-|o*oXyaat_`ErrP-y<) zs{a=`h7b8ICUKmj<;tC{D_4_QlTbw#?3XSOA0c1Xe@ku<$gwst_E2RHaHMvCtEVEu zR{|5am#?%Z88WM1OD!z*K`~W4H8D~yx*5utKLW`S>W&fh4*25TB;OR!bSEMUv$La- z2XFRPi@bSKzw&!VctCoFJzG!5C7Pw_JwT*$B{h#FB~$Yrr}@ov)fDVeAL)6w6nGQT z|D(5QsOk*m^={MT&M}eCMA=p}w4QuA<8GSj>PdRS1{WdezcHH z8Rk_9SvL~X)7X2nx4@$PdnI#BLJCmSHZmg?*q>C>@5g^c`!wZ!#0(e{=!8`T08sg1 zQNB2fK%8G74os2|aFzi$8+Qx_z0YCfi$fxP1APbt0!(=7ps|EB-F{vhR0x4X8-*j} zA&?JbBC+OfK1f@=>~ZXGj6lY`b!A&4Ln2czFLX8fbZ z7JfJs#y0?@A0lw-_~CqiRsyV~JN8$?+B3lHS3(EttMfbIi~F50bw>yMqL_Q)f_^3R ze9*eT5@0+27Of5U_WaQh2dxBH8))l*+7On+fHeXJLtp~kH8JCaVuDJhIu{Ln@0p1b|*K{OE*bnq@EXL2l3kh~EXrU-y z&!5dlOCVT-I%#8YIE)V(u;i;&;9pEaGyr|qfqdn5eXdF8_hnB;Dd15=REu?&9yIeWj{@^AA=EOKNskqAOy-E zF9~R{`@C!WSVKV4!vmzC!5H)?fC2IYlXLC*FO1AS-U*C<^2qID2$uf?voCW4Oap{B zYwuqM=q!Q!FG+j<8`^$b5JZD@`_WPa|IP1|)P4$b&>qADtqFP)EN#Cnh{^XcKi**? zO%M(Ken{dXK>I$FgFav*@_G>HH4 z>VeSj@F$LtmmuRW;ZKI2gda*0lD>gx!gxriDycgr&=(Q#5AQh~M<|+LE&$=>_+^1$ z`X4M9(Ee@d`)XMKHe`ZoqycCY92sDbHYL1@kiV2evQGoijNp%KKVhW%M_FW^SWKYb zUr?kNEXou0Yn0WqAxO8_$AL0v+yZeJ1Een!>xM%jKm=fW#_#7xg7ScwfFV$fd^};` zpgC(S?!yOf8}mL)Fk$FE-@f0Hn!rtXIS8Mf+aP!X0NzA`*{K0G&`bHZ7xQl~ z=HFh-zrC1$dolm^V*c&L{M(E9w-@toFXrD~%>OUFnEPu69&nWa050GU^Z(h^dVfT~7_pBvm8iG#T#!S%2j@7D)Syf73( zjn_fWOv=np2kC_}Jc~uzoHe(FpY?_-A$T>^VX7g@AwGUSNSqri#0Tvgpd6ycyDwZB zgb8R#Uf4bh&RdOl|NI8*xS1tP2ZKezzIPd_N`VA_L%9)V@CyMvw^l`T}ukyr8BBRq*lqCH7yo)gO#zX8)em z$A{1W`(guddO=_*|E?1P25DQ1@1tEQLd_S`z;J@{L1o|di)~q_dKBhKV=;((hc-{+JauspB?qv<^E5HhyKWe1f8Ww zHD1DLB5^5caTz(=pQnk$z{5pSQU|PNpeZ0guj+rsj6tA0&ip5=W@gGpz5zHlUpUf8 zSB)2}hy)6SP?k}Ya+5SD54tI2r1$j#^Xp>Z zfrJ($ad&qmcX4THBvRb{n2fZzqQ@~MStUg!88>Og zpVAH-M{ejpr4qD4fD++~(lXNW3Sb+7<%`RL_Ac(`rT`aLl0_ojk+O=%+}z>3Fa%uL z1B3N(15E|x3h!Wj8osqd<)pPOu0hg7*g+^)K4_ zKdaG!*kI7T{cp|WfGq&yfeUuSBDFlhKKV~9QS!giKfo>M-)sM$S;_yc_CFdI?&ap| zi3G=5NnS#IBnhL^LDxwBW3TPg{usf2vV+4S0sJ){tN$D~|9<}60)Mx_-!1TW3;f*z zf49K@M=kJsMThhSrxwBBdTno#`ZzdGbhWg$&^I#G+h2rI8=9hgF+|{It`B%tgD`PC z?&t&~dkJplQh@u);I^$BJiyP)MxSuF1pp_NFv9GT0RIT!LUw)dU{|?c+|UvR`$_l@ zpA2w6EVz3Hu>|>#A;7g62uFi3IvD3iz!Uc1nBBbzFcD$*jTs9n2*PXx*z*8By3ca} zYZ73Dk1x1gOGMDw58;C#z-=IWDJYPzjSDpe;n*M)G8lvhK$ssL=z{`b!l?mfAEX<& zwMCW zq>3;@WH1_u!--ph%WO9+0$c?9___I>0f2)#6LJBJ|1@*oM;}E0miPzXzXJ(+|2Z-#LHdFuCCAgEg>il78dduK_?^3;?jb{f*p0igEPAN64+*vlVF zbQBUUL1@rl;lE}0#ra=|pKOWdU2!r(f_%9JrBA6r!Kflwd{hy~(+Bp@BQ4rBxQKnYL|Q~`CsL*NO}0dxaBz-wRx7zbv6&%h$E4s3(B zX~-Zn5GKfB2scCkA_kFxC_>aBdJt2HHN+8e3gQXzg#D}uaMp(tsreC?IoQe zT_YnSJ4_}IQC_7ir);NuN4Y{p zMa4^{L}f*VqKc%tN_CH_i)w;ulbVrQlv;=S1a%;F0(B8}GxZzl6&e~EK^jdOCmI}0 z0!;}`E6sbF4O%8z30fms1Z@Ou7HutUAMF=93OWHgExMC*XX!HN?$f=Zo2RFs7o^vr zccTxd&!TUjAEIAlU}BJFuwd|ExWZ7%@RVVek&IE0QI8S97|oc+*vdG?1ZCo5(qV!# zU0}**YG;~ZCS?|4Hex=_9LIc@`6crr3nPmxi#kf~y6SIr5Td@bT z-(qiPpXXraP~m`c;5n)|-f|LgigH?Wp5x5pe9pOcgzJdG5x*nXjFog2lS#@)pI3C04`f}vqoVQsKQ9!?%Zot9t}5*T#ZRhK23yXq2@;|5v|i&ceK7}OKD@ZYqY=VDC>mjH0wfj4RrCkFZCGp z?DVedz1Qc}_tY=bUo?<2IA_poNMdMWm~1#?bi@d5RARJftY92w+-5>;VqaOMr3AemTLCST)^Ddyv_o!FtSLs7_}6#^tXIqMQUYfm1Xt8TG~3)y3>Zq#?_|O zX5CiXHqmy(PS`HcuEn0t{)Byr{Wk|)hZKkLpAkKC`OL?&`ezHy5ubyfYYF8EjS8Iz(+bN8hlIO_w?yzo zL`Td-8blUHQAT-3y*Mv*KIQ!C1&0fb(MO^qqo-mFV#;D^W3jPA7ga81Un0JQy7cn$ zvCG#k@8S{oXK_+-8FAmQz^^=umyW+0zn9>V@G?<8@m3OPl5f&rvPN=o3PZ}-l&Ms+ z)Y>#y8a{0`-8KDbhHOT5CS_(|=J-|9tM%9TuO(gke%n!c8iW{6aF5mce6LGWe zmgcSU>?7H6*;}_!w}*2Ka%yu0b2IWt^Mdj|38zVSo1*QLD55=hgpwU9wk1ed>s9Fujy>lTC-pC z{1eY7Q!TD7Bdy0<2imOKUbdUGcXjA@w03HBHg&0WJ$$PCwBecJv$}5i?%L;a&ud=D zy{LI9|FZU#!mIiorJlxK)!xT_8huatb^AL8j0U=2o4@WIv>O~AIx#dpj2NDMgMPF0 zHt6m4NaQ<`clc5I(Tw+;?{mjQ#wy0;#~)4TPCTEqnH-sdPko*anEpN!{ek8~#z*dt zC9^WK59jpfdOkUSn)&Sad3!!~fnnjs7vV3}Up2ozUp&4zvxHsRTfVY#c%^7ncC}^A za_#-P&-(T^{Knyp;!VZP&Mk+nkK4iD$-ZCR5!q?nHQ9Z)=L4Rj{e3@|Fc&zupG!(i zOiV&dN8ba_kHq34xddN<<0)e%#L`B7*)&1y6DPaX*&`0wvtfB_)G` z5m5ky2+BYVkboC-wX8^)+`tRE%reP2WGn~wV<(QWx-ar$&o2q+$l9djR>1>WcX$;c6P=JK_YhNo}lHbs?p+8w)ej9*sgJZp-LKrXzhg)E>?Zc_KcA=^~& z_A=XHL3urPAq37&VL9)9tFTD_)Jk+(e)V5f*8k&f@t;?V|DyB1QTeY|fYTUH2aoVy zBzmt{2G2C!RV;XoVW+mM>~5PZFXKwzbT5li7ed>4vliLZJr*55{!QZz{*WZ!yYH1I zr)rc}+g-XgZrD9GXq$}lEoz(0_=Fmmyoj0fw|@+y{m9&SchY<6gk4^DCx+U#&Ynx| zE56z!u%z9o%%P-E^wTY&u=QQVvb~-(h9&MI{`OW@vnzJ~1vDy?_O)zf zwp-E;K^jt0WqZA8+|}V{1Wu5Oj*^Pb+dYaJVe#W)EB)ltKZCDdy?bsl&bgnt?h&cz zu!_&>>5KR%SukzX|pTO{B7KN_xJH zpmmc?6An*agSJd0ePOelPI{ciR_5ltBW+nPA=>MTDWc>k3bp>Sols9dF%e^8X1>AL zoAWh>wy5>%2`h`e{tWvoTAx!aCr%FM1S(&#f2S`J9BS7H!B_Viuph#*I0OluB1;fm z`6?CeJM8#M;BgjPgK$Xo!bz4rfSll)`80f;L^k@a-ybsud>tzGwN^ zj4S9~>EZ8X>wa&!GIMv)CqL==`;dzqSI6Lsb_PL8QsRvJar=F{d?ZeGBP8-5qa$}Tcrz}Ha+ z6E71hZ|8S>NFXKnb~6w!Y9bv9G0r*tm2^Pt?c&$;J((72%v z7xTg7w!^sUzWQ1QPO7(ud)8{}Rq;$SHddZGVhWtjHD*LLP9&tMCiY=L<_4$N8i>LMm1V*F%@*=FI?99zL5fp-#6e@1r8 z9-Eyz*7>Z5)ep_=>a4o0PL{gPF+5%iEZl{KOr6HpK9pu1ZJg+}_i>+*64-jjT zNiWyX|I8%kDVlL#sn}kHL}+ZY>eM}+d7ZCMrTxB3kIU`eH|a%U#UT!B-FYA?q<3+pw-v&eeo`jyfWQ*cepV}Ny@K{AK6AkxlgLx5Do%I(@U^(ljRGhDA&EAj5=$z zWw*H6g?KUD^^SB5&(KnH(qhF68vDsT;Q8`M^^@CGM8e78&!kx}>#i@-Z}~(@jYNCe z#gj>>$SK@Ct*?2%&}!zZ*x5l5{u>P@4YvzO;TD2lJdQdGF>JERXlm{O7Hdx?Sx>U* zzYTZIZ^hE6_kDHxUa3U6;U=B9y!dTC8%bwnYJIgJ_forF(Dq_v zw0Ot$1PUbSBeE01k^%frSuLMu=0n!YZV9X;7< zADOg%A0nU<-;lG8PzsR{39~-TwqiDQ>afOZH>(X~4t^nVwWYmc1&d8ltD$<8+NDO?E;j9MSQ);c@k<$3X8y_3bdAoseKvOunVmw1uaLmheID00)Za4l z!1h0HpYff!IVmb@-CVbR@rfd4<`yDxMm{H7Y9Ht0t-cO! zF?QpLCEp6vD(wQV^cTn&I`zhu4Ew|}c0PRJ!-48A!{5Q%JybXhJKm)p$XbF@FYtXJ z8Vderh&vSAWiq@IUFx@brX6u=@|tHT#82^Dj2MkHKf#Wdza}WY#L`w)Tgc<0^O(|M zuQyYXGyWW6xLS{N+s%%`xt8dT$qG-|^!6T*7_TN1)+t@9f8tvE#9;oh`$^;)r;z-$ z7b`ap^*amaxz=bJE;NNcdHUjI4c5DqNJ8Vn{IkyLZkSy3Uk?!PJa4EO`t&ClT{#LGsj|f6V-E}axPk0 zGP|b!dB8j6_})txcFwLuAy#;B(#5VxxcaS9{P)X;L!Br?QK{|=pPNqDJ!&d$ zcQJ2LjThVN%OuPMl--MX3P+cXW75}Ux2r_iFdw94&S>vw?P`ag=y*ecMaOmWP`t3k zv50@|6iG#&d6d~D&m?&D{;T^&jfs#EDZ$_%2Ij+QzL28PDBYhzCi;bMo^qRK$Lf#UMu;H5Op*C(>~Ol0oESgZR7Jd0jycDykbqU)yvk(Ra7x-pML6QFR6M5k~}@cGsHDvvj^3Kk3PE@n&i zv%>xkdjlDj?{<{rMHz3_Zu#4iJS`-SPS~+OUKro5d+FI2FL@WMf5@#k%J`r*o+7H^ zD6$gk@7NnR;(RrV)uV$}r$BdH&9M{n)|CY>BBal}yR-)&nQvW#W$8tnM;}pqpcavx zJo9ZPiZ$cKjJW=b?vZyXkpqySxwd>}mzcF_vglWzSX8(!^0Ym>CZ0Zar_A;0Q=$vZ z&KH_D;yaA+7UxvQQ|>lBrn0^6qG12%+Ktg_ukdFTpOj#hRvEWUuL^rU3JSm2+R4wx zh{s5bI^VK-S36qr-LFslF#PBq;2uyv+X?>~FD=RUeY&pbhU}ZBTTgbEM7TR8+Q25_ zO5U_6in9>Z68Bzf;6je98#HT7Dy1G`yU$|``m$(t7b@+S>|PIVxL1HPgc{Lv>C893X1aYOipGTyiJzIt}4gZNGtfNrsr}u9H|ZQtx9V|61$7)M)r7#d!7NY;pH>yjD;u8`s2T z@_b(f{#(uNc|k%S;%){F>18Z;OvFqo7sqS47mqq+Pfw4tO>1uIya*2-kXTrls6RuN z+jo+qzJ&x?{;8R=ER+X3$r;jh-$m#}W-#MbNpUA7hWg6FwjiWNwM^A$OLn^Bq3k~S z=E0M$n+=|_TVJl+6H-FdW$**G1JCl28*i~xXI)caDRg3}+CID)hOPhx-qWY37`rCz z&o5kLThXwP>OLxJF5*XwYj-Ye1AAg{|C@4C+A3|phOw9`eRx;#Fn{oX&50-vHq2FA zP2$Pk8pGLK?m`wLKI0`Z)Zy%X;a}g#800i zcAql2zmSVRGVK$V+jJf3jxEU;Cat!Wn=wl;VDse78kK*i!TG4Tq}jNhZ?1)kh{>?v z>$}}M>AA@werLm9CCGQ&u=4I&U22ZG&wZh7Ld*RS>uz24>KW3>!NCtY7R&gerEdQK z)U%_kC(eGqFW2H*m~AdP=JTzc2EPPluG2C;Hwn%bz&a(q5_d0vjciO7A8yVm)Dux# z+~BC^NKQ&ZFlN@&J&gO*4=z0o-{JT%rfsi?f&*3?PEVe#+GbUSd>xU_N-mzhrFO5_ zo`Ytw%9$6BRiSiG>ZmAE$joKCyb3>UXb^Pd@s)DtjB#NZ8u@o509vHh5opU5xFqL1 zOLo*-STSGfrB;b%@Fph-MfK@?$|DIJdc0Q3Hh2Bq8#NVydzcEbG@MZ(lx#}C6PB%>D%wD86MU3b2*>bwGz;mKa?J}d~e$BzL-j}9m^*+ z_Rve}n>eTZ#0--lP0PN#vorCyG^2B#pSJX#WS%YloGfM-6~M1`{6c3=bM>{i@A+c* zu*&D$YWYP~vsnzxH;xw@zb@e#m5LPzOXwPyJ-&OV`^nShm%+ODz{1UQCa3m*Iy^_o z0{%e_>apk;9Nz>^3Ti|RLTm6t&;-#7*-Z&VIbsir$uMZ}t=t)98K$F-@;EG?G2MD- zD>pmH`{VNmY|9ka*O$7g?BN|Uqre!YwzB}WnF#RjqgIB+U^KVGK9JISQEJvEnY zi&j>xJ!Dm8J7SLF$bRGdEIi_V6tUp=vZg-$puIFv18j(2@A~dkk+r$U#Fk4q{F4Jw z)6tre$M1*BE{(CcnA(kfJYl^*J78+qar9;>*K!?NX}7!|+-xh5>0PK zE&k&2j|HL9gP9ucSH#`;i)y%j4sV{eDjwk1~&Zj$vkE*w|v{Od@Bz{OK<7 z(!fLiu4S5Mk!E7chfk3wL$B!yyq-#D7^y7tXFg&P%YORUrB9is-@~)bqCDj9iamUs z7Bp)hGwN;L{WV#bn7MoK`ifb=Q4hh8HvG-kQN&?NPDM%3*&N?|%IV1gdsBc#C80sE z$||V4gPH6uWc%Cm@9w!re07kPw4(`T=NF|N7?#}cM!7~%+m-ID&EZ`^4?(JRsCPys zy61`=o$%u3DO-|fLtE1(u%t1eHVduqSdy!DJrW`2i%dh4RvVn{FO?fY=%k+I!pcWO zj~(eEFP??x%*9EipB_v;p}*9Xljo-+AwSG^gl;w zhhL49N9gmIYrN9L%1$!I%@S>dxX~c)Bn2chZN^jVoI&s*i};KAW>w`EmY;t+F{*w= z^nELf@71!4#=-3_HcbhHDdp>QriRV08I>3er=8j0Bb5;MVx_)P?-5>WMi*_qwvCM| zQ67{=oE`6HkgmgWd?WSGW;mGNP*~N1_ZzBO?i9I04xiUMbc&%{Ku_5L$}b!L?9u1A zQ^KCrc#D{3x8ZMNtnRwvaVB1`zP#&MS2~4WN`G9$$6d2TNtxIxNU3TUQr%V|;+(8_ zFT)mLnTyViM2ke_TGxbhws&u0`K4-3YD)6e(z8ExMIGjUcJ^lG%(bg-&h=-CJd)vs zC#TA}KbqQA8e>4e-Wce*b0Gy^@vTaSy}?v0i@K6G%d@Gu#r6~7A*EcWgteOOM4BvF z9$dNX!S<*d=z|W-pj(A6=bsn88kQ1gsjef}_GLcrDaVn?8imh;R||Uq3g(0xwQN-+ z^?95Q0sW`fMySMeJ8IS!QYcQ|^FO_@{#3kFbYmfos2HVXz6VsWRyot+h1ET2WS1mj z!Yc*$fYFM#-_{QY2|J>?mC472<(Z+i$jFIO+6_CuCB-rW7W9RcBDCE=yVJax$~gF` zObU4SwFWyVzLnRoak7(kQ@3h4&!0$bVHf-pX)Yn*!i)rl|7CK7aco$0so*-bSN>FBx0{e0X4wr{WZ1P zn&_*o9cgU(+>R9EbrYJIwSmVsANugo(O&p)4&ftv>-eU*r(MccfKCHmEplCmxqyAX z(dAa*7H0NyT-oi?t|Z313-NLHL-}|_ATMsXTL{!%4=CPh8(eC&hwxgTh~K);RV3}1 zv8g20e&P+XDwVCst>Ia-j{thT`3s4GlUqLQR&)J_8b_d*Z({<&I=frRMC)DuMcM5n zzmp4B^ERR+WGL%0onFpTOM+mxX?MHrz|C0UNmrV<%#Y&d*b$9#Z&4UF-I0%`A`TZ% zZ{O%@f7<>m*p7Mkc}dvZ<_Lin2yKob#D`!(!iSgOBpv=NMqLq4VhM8DZi_2|Z z7)PDW4eIgZiI*zKG{igLA32oR1e^s9Ek#z|<{)Kx?jYE^-a5hD4Q19!OcHDglC3S6 z>q%0v3}Zu4CXbYb<=j&Vy;rF#m`$O9IOk@od)6uVAC-tJb&t)5bmnt;)AInBqY};MHFN+0T5eu3!8*SJ085~9X z(v7@MCKM})fF^o0Ipd!0c6QCU{1^>yZ_8Vm*DP~OkTG(q)5T@hJ8xBy*j+Xa=7oYx%TH#x(uz(9yUwL+bq!sqXTUOlEX zt2t`i>`?qQhNR$%O~mc(iGrF5ay9v)6ZY>uo7xZ7Xs1r~^T&?Y975=yc5^zM)seNd zb#6NHbXuy1rPe%c8(lN<1xZJqe?2Li5*PaG>q40v5L=e&Tbu=Z2{NC*F?`^3{=xrcdwR89Hzf+GqJc3 zEh;Zn3@O2ecd0DI*j)#<>&v&3q-~{QCgA+~dFz>-V=Q*($JMmI2_>oNQ`)&P*l(PR zzek^BD{zl)seSR;YXMZ{mMWI?=#(708QHf>wzz2p?vO6OS_-H2$?nA@Z{r)xS-}iL zi%*Q|SOwFD-3scgP)qC~)Ut6->j9&N%&FASg{B2=r`sO#Y+Cm$<#dmW(|qV*Zxb6+!c((@xg?EnZs#V(e7jGYFTx(&Gy^u3E zHV*=h%Ct8dSLg8MUm_lST?U;i;D3+p)Czy4vwn6*u@uqdg`3+}Q+BuO-qw&94Zngf z>0Ia7Sl#ktA*V{XyYs4dXs*ks(xC2pf3!gGe8dS`(UGvGZ?0BD6}^|VOl=l!-Bg*$ zDK0fx4Qh|`oNX62$-bxl%G8>*$aY(;(pW@&$T!=f7hjtACBm~J)RK9m&LXc|G)L$y RSY$fg@J{vwIBS3N{{V3Fx?BJN literal 0 HcmV?d00001 From 431100249f4b2c727575568f36c4b3c819b39580 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADt=20=C5=A0efl?= Date: Mon, 23 Sep 2024 22:00:14 +0200 Subject: [PATCH 2/2] Add my courses --- _data/courses.yml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/_data/courses.yml b/_data/courses.yml index 46b04ab..30642d6 100644 --- a/_data/courses.yml +++ b/_data/courses.yml @@ -44,3 +44,17 @@ link: https://bilakniha.cvut.cz/cs/predmet6706506.html label: An introductory course to the theory of programming languages and to functional and logic programming. language: English/Czech + +- title: Functional Programming + schedule: Wednesday, 12:20, S9 + lecturer: Vít Šefl, MFF + link: https://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NAIL097 + label: Learn theoretical foundations of functional programming and their uses, in particular in the environment of Haskell language. + language: English/Czech + +- title: Programming Methodology and Philosophy of Programming Languages + schedule: Summer semester 2024/2025 + lecturer: Vít Šefl, MFF + link: https://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NPRG003 + label: Learn about all the programming paradigms and how programming languages evolved, from Fortran to Rust. + language: Czech