From 5097c60f107659fbd4908401a4dac997838f0322 Mon Sep 17 00:00:00 2001 From: Alan Jeffrey <403333+asajeffrey@users.noreply.github.com> Date: Mon, 21 Aug 2023 15:25:25 -0500 Subject: [PATCH] Fix HATRA 23 citations (#1015) --- papers/hatra23/bibliography.bib | 2 +- papers/hatra23/hatra23.pdf | Bin 415900 -> 415897 bytes papers/hatra23/hatra23.tex | 4 ++-- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/papers/hatra23/bibliography.bib b/papers/hatra23/bibliography.bib index 067bf967..3fbae85e 100644 --- a/papers/hatra23/bibliography.bib +++ b/papers/hatra23/bibliography.bib @@ -1,6 +1,6 @@ @InProceedings{BFJ21:GoalsLuau, author = {L. Brown and A. Friesen and A. S. A. Jeffrey}, - title = {Goals of the Luau Type System}, + title = {Position Paper: Goals of the Luau Type System}, booktitle = {Proc. Human Aspects of Types and Reasoning Assistants}, year = {2021}, url = {https://asaj.org/papers/hatra21.pdf}, diff --git a/papers/hatra23/hatra23.pdf b/papers/hatra23/hatra23.pdf index 32e83b9ba8770868167b4160dfaa159a54bd6a6c..b750ecaee636b26091494a76fd6c879fbe84e97a 100644 GIT binary patch delta 12247 zcmai&Q*a#&w6< zATKAh4mBr3LT8jY8nK7of`E)nYO^-v8SIlRnyJe|>I%a5+Q|ut+OfBr>Fze+eAdDV zXV}}m>cSrq9p+}=bEHU|?AY=adE0T75VmRgj`nd)1{^VsK({Y5=`RCr$S1$epl8{h zFRV}9bEHnSH@`QHy`znY*s2_-Nhk*Iv}P%`ib%Pc#D$2G9m|2Ry>!{25=KVHHu&vn zGxBb8>}z-ITc{qt-eRZQJf5#40bc*kU#E_yN(`9Sg>AjO@6hu6+B(7D?)NjjylhYH zczS6X^kXX2zbvqDi+#YAE&VN9l`qZ0r<*L~f2kvZ@dLTDraDfJc(9I8ll-^qS$HkK zGQK{B==MIZ9%0cuN7n>@{IFHhyM37rav3kM8BsxURI~{&uxP2i*TRA$jM{{@j|0eE zppfnC9Mox3=ZsaLzGt|?K`*Xl0;-EVr=f?PpMQgAyGh)9T{VHt@Fa1siwBE1G_h|c z{BFVxE12G}S1Xs<81_toG&mlI{*z2Go9KoY@K+Q(;sKZj#D+ro?HDW8`Kwp2cY0BPSoa10@%ZZv zwoP|y+@5tPqvz9G;Z^1V=4?`#*+Z?X-#l9Z)03FPGm`Xp$z3Mkm7DMJ&FJbYaO?Bf z6Pqo@6fn;%EQnOO`S=D>H+~<~^KEQ5DR2{Rzby4!eN}qP0Uk z`wqbp4n6}9*SWxU1kd_aj@)6st;WV&E9RUoHJr4?ylMjo$8^s~B3kNpxo{PuuGMtR zl=L3-ymw|t*|lHQX~pSAT#@gB)eG44U%?1m>Ei8a0|oO$eLu8wVXWZ(Ap+8mJa{&2 zv;k%~&3%Pw!=hx!?hEuZ zr6#K7@~C8H;eG_lvm8w(w9%z~!4L#n!tC3;6%H}VXwnh%$Qq5bRo@{^1GBq_FU0ku zF(!yfjMdUe$dO&DG8!wb#{J647&AjpU2rCPRVmr>&zFmH#g0uj6TDcCcWYR<=N(l> zSzmy=25FEoyN>&bQE8T-a7JuLH(xO?$p;nyb@Y1+anv{5Sfh_vzbk+!8WqQ2e{<^_ z*&sxF8EuRD?u~V$W4hZfJtnwpM!HQH>8pZJJr5a$cz2Vwd=tVC9-PmiF#f**Z{Fh^ zsQ#%Y)oNY=k8#E%GCS&FeJ|2~HC6;>lj4CG&nZ4-TK=-J z!cJf1XXIsWB3UT%l?*T)nU%GBr=msC9EO|U&>$@^Kz&j@2(5IV z3ORaG$>Qt}`M;qgDu8v@%ezMI)z*hiLlHzKo`0TVNk7l44QKzrc&Oz3RKe)L_}~Ci z!J956hxQ^Bh6CWjsTwecgiB3J;%G4viApzx72Ybn&$Jy$iXql1wc(}h4h%zI_^I9} zEZ!%$cu;+O0)R_4qERx>;u4Z{mXU-xeM*Y5R_WEPL>`_*a41x*0~HFB(YIU+9vOt4 zEMZ7#g71F$W>_CF^B~W+=(*tk`ItRB~`<>w2j+XjUNE zvw|Wf$&+^7E0Hj7gztwUg(r%t^bAbV9wJ&5T1|n`iGY#N&+C_Bml-=3Yk#$- ziG_kCNvh8W@vFN(;~OI3JC=#K?h_zVC1?47iZ6l$Nrdbm1a+AI2lTvZH--8NkAOZd z_1R%QE zQzC)bv03@LmRAVv;Zv#3dL3Ybg{UM(AFH97bZPCcm#?&n@{-UcqZQH58(m_X0h@(K z=etKJHUiA!KcPJDQ?)#_cIu3%d{u+H8p7#`jHMHv^t1!tmg@0RBobi+skby@raeN? zx{q!8p%eG4_%-4xS*B9VW#fHW;K7IUDy}sGa=dfZ>+M_`#(CM0xhFu7XOj*;sJhdDavymCLLUQh1o}r8e?-jXEgF$tg>XwrntDBtv*WgBt2$ z5bI&C^|!ML4d7K=wK4J|(WcP^K{DeVzD`iIpARKet|%KVY37AE>Bp~9qXlE5IOW9l zU>9k7!XT1Z4NE&?1W?Q)*HbCZHP;G;+6*!(B-zGarDy`ua(JKxp=fdf<|urj#EKp_ zLMn`y`|c+@bb1Q7_5mBNpXM@I%cll#OkwqN*^P4C~*(>~ag4g>X#^%jC3uqayN-l9G zxE*#9?I_%Niw92N(UkwR-8-9-s2?0wSQu=okhmp>h@>WD;=hAqvX)03(-9F))ZBZB zT?j2+$o3i(AYcq`^?{JW(!oAcbp?fNuWbBJ4pgc)oS7Bba0f zscKQ^bFL=tHq<;%6OLVAsOLvaSYg9E`LlOb5lrFIMzXwWLel9%_jSa&%d61{@JpF* zlIzOocm&ene@DRPN+FiT*u<@dSP003ni(vm;YT?yMUY2t3fP3QAd4c3q=15;sl|ua zs=L5;f8ym90V<9Zv13c>Kv zKDYB1Geg;yTv^JI&{_PpUh5PLz2Vrvj%gh6vzELia8 z0;{#9h|aVaub^*la-pIBS|0_@mF2o}?n+_!6O9G5ZW;rB??Lr6PasYor>CRf+Fcj|Kp7&8XgdlDfi$%U6Y{`PlbD4+ z18+z-hC@oeM~c+lo;>2lv)=t9e^Q%GRn)o}UR0x`$?VL3xm0>rWYndEg75iOwrYkj ztMS}c#5im^8*~aD&aTA!j1@7)I2b6e?gI)v@vK;Pt6e`ji8QqTh3fxHTeR#8e4Bq; zKS@~qs`S*pyQ--XVEXFKjE)e*wK+4I^0RJT>}k4(Gv>AmP5F1a@{?3ocyUSLIqyyv zo70RKE9`J^O0!TqLU!03ZGtOFw?b+;ufat(zpf*&`_3iU;bYuevWu2YhPo z<_}cESDfL}drlCB6|9^;91 z7?hhw=8oQ%2LRO$slkOVB3io|qo@%!N}7pw|6$rjxoW8$wx?$5X5qspp||$dzI`~) zaB>!GQ}0>_6g9j8)dbusLl5FOK5%Aq zJTe$dGitMq{16t94oEUVK-}I|(vi5YeRKu?3Q9lr&%hq*JLG%FYRf@7F4)^smL@1# zGqJ_h<=G!{*!dC#M2spR|DG_=b*Aa1O>QOMn`;8_W*nYZhxDM($-9TK1va|bTz_xz z6>TKm+Pqn)1)c$PJ{9_)CJqf(;Wz{aZyXAEq@@ryhJ;q1@v&Z3a^!>rhu$Hys$nR= zQk4Z~ONen}`CWtLRgF~14f)NZ5T-A5%>m)C+Ysb9*QER1x;L5v_t=-e#T zNh_dfW%&;YTs#R;Rh!02*0j}c#R;!|dTA59eD^xo<)Ytz3D9Lb1evI}YRHIw1*_+N zt3lsr$UGb(O$5^pW8sLmUssyGY^4Q5U<(pL{Ljrj3HN-WVk=XoutJL3H4Hj z*exRYlV!13p%lv@OQC0X^)~U@u;t_k0fdYp62TMfI7y##` zizvNM^Y>Y2SzVQnH5|q6@X#dhN0b3Yp$8q6bRj~km)e7x9w&3y)2K-f2UXtyN}4%v z3A@%P8(p(F-`F~X&tOm?0!~#0>(61eCvw?S0*(C0MzpOtAR}ile=W{))U;pVKAt0y z@a%DRw@W_{Vp9d01^F(*aWoNpPfO1g-RU~w@p?dl8V*HMccY7p9e5bUhO&uPjSw9) zl#WrbHtl4;#BP!q`SUvR;~rIr6%&m(~n%pqMmG$x|X z2t~fel^f5%JJFOe4~`nQZqPx&1o8FW;n_UjNu4M| zUvb{OT+FfEb7d;ipI_C34uDA#_eRyd?9IZdmqoG6@0voqewry=e9_L!INd9IqpdGTJ^S-W1q4;??c#@ zfEML4ul0J>i9OH7n^J3UFdXUDM0?c;2bdrU-9GXYWA1D~P$ZR@2@N)EC;DlV8Ft2v z2#_sgQ!a~5&E9B{ab%ZbiUJ0Xih5WG)1XR|5GDF#mra7yhF~(;PiG32oYi4>QcSH{ zW*ARMfr?b~rKWZan#G^`f2GKes9Jx18~jvJYUR0GAr#&S;|b$|q#_4SxwDrL@W2`T z`xDFB5`s#wSCx%oTZGeJwCa_>c-ng<-uuL|eG8c=1kaI#(q-GvFS-?;$dU3<`WC|B zsf>UwYfNB`ZBZ&Wt_J`LARCHdfKHSiAaP4imm{sj(<@j83vG!yrrp{peoWkhT!&T6 z(~l}E-KTXbiht3IcF5-(P5pK)aw0uS&OJ5`?9D`ZUBbzse8QcbCv@yLD1EY5`^Qeh zmlbZ{dlVHRxBo?ahtcKnuDwDzT^IN1eAuteh!}#a4E2;k*LVbcI$c1`IpQeKj)CCx zT2yW2M)0B4T(!5*{Pop~lpH4*G#J*O%wVzG@sGTh6NucKhZdYi>*AHg<0|*IKtsyt zG4BHSCE|}M{=3S~8+q7DYz{9PDuv>wb})(tLN>ZV##2V!Qx_i+#~B4r4gQ0Sn$YZp z&FSCttK$Fr4xgt}&qv>C#E2X~?t zEMmLjG|4H!tD@odd%uLokd-3SJyT65;nVks!8^SO|K2!(RPqOyt3{oGfhEX2si?j$ zQ?CSo5-Lns&uEos(b^M7oKqPWl2f&|r4r{yL6on9{E7~yIu1f?DB+5nHa=(2Mk$9? z6eFUTCHz?~oUQ7UtG@?IGl?15$6SnSyJMbTc)s?AO34or`7ng>4)FwYoS-v#m)SI# z&#r=Te2Sc9ga^sYrE|m+PUC`D+@LCYm9nkv-ub}W1K~6{ZviE zgzshEs`8b04@He9L|j+Um;pk@|ByUe(ugjH)oa&Ixv)DCMguH3G~MfQKn?%Imj1HU z0R?)1gQ!2IJ#l>6-ZygRSJO9kml(J=e_Zh7W5}JK=a~(cl}p})>{eA@bBsyyLkmx- zF5v0fTp%ND>14=lZdM&DVo$^niMOI!FQGI-9tZ1`PU<+=e)tjvY8>3`8ff}%X^$}f za(6%H3mrx*+{9;kOH6i4DZxI@PEMcG}7% zUM0j+0W>&c!EJ-XM9$&im9PZCPHX$mcvnisY-GDOLkras5htNOo5SoR)ng08)7=BW zozF-+kFCJQ=EICGyS&R>|3y28W?Ti0T#7JU>f$FuByAPI?r9MxE2#9BiJE;gi~nKj z93mdaAI*M9bk`o{4C1?XKB&G|Z`}`b6D3wv#nq$B^7EFVGlLj>&oedWwI@j9@(^Wx z<<(p2rr8E#ut$6)#*XCV$aAlHRuL1B+Nl$zNpY{`WEk2^UGwZ=(fh6PuwbzePn2Y{ zS!zb7Z}Z&X(Zr~kiKylh=A?^UN%$|6-3w6#{KNOu%-VX~*t6-+RH7f(-s`C`XBSM) zvUv}9U#q=>zLtR%S#HsE7W9I>dr=Z?h9PFVKuX zFg=-1%3QT&_oCA1J?Jc*u`tdd4ir|_=aXXE$`o<`G7?5EjhfI{DTGDq{@Ry5SoJc>D7 z#}xNs`1Pv*CY~^y<n<*tN%w(qwBl0U z@cG;CR%7|GJ&O*7HNcNs6Di3XThiaWcIoxGSj@L-TUR7r2wGQ3s5adYI(HC(B}>vR zh5lwGcQ@1%OlUK(ABb#|ulY=cERA9=J2 zq&%f*Jj^L#P%9H1lf#4l(zy?So^uPUSqjz2U@(yRSxXkU2E>ORWXn^Dg2W;LZQ%6B zQ{r{2l-sgV5a^^nzrJn_oSLLT%E>}kM`Vt?V)iZfGi(}$Vcv`1ptI>IG(G0xJpL@B z+;iOTnjs8tik9kcpXoSlcXXNS42glZc?wymXwcK7GXm|v+mb9KPQv@l>Y^Cf^(vSz zWpQ(Vfx5RCfWEJ|zg!UQ-wR`4>-ZmKsyZCRYRTF$8- zCf@KVpt#_Va>%V~*+oGQx7X@>d^xyEd4r@wZU=0E#A^5}%sQJmn7|wr8^lhOePQW9 z$6F5@+Xw~|=QX}S7+dp73HJ;J1v^T?kPAzZ7|9fBbETegV6L+V8ZOwu;|^xI`1wAF z)aRp&rctuOVFwwcgc+nj{s+{5K>r6!t3e9vWGN)i|0dWg-9OG7EiE6lhJA5USLq(m zfKq3ROB#ioUk9cgR$iNvglna?yr9GL1iFt$OV;>ADPa=EDPd=k&5WNM(ip2V&ChTI zS!30s(c>l>r*eDbS!2nXzcV6F#Y%G~nkHQW6wK*P^hAEng>)T8szpkwM(;8NLBOMJ4#_-Z3 zGZ>+k;Y%=Y4iX{^T$|u}<}If4TPcx^^dzgJG;x3){mdGBBgWas-mqRQ`(_rXJF2Ju z3;>3Mu_GSHb2uK?eel8d!gv8Nv-t5OUZdst{*>KR^&`HWH+S)}vftyhsDAH6Xi<5k zi6U=HB}vrdF?gK^iX|g;{-i}h7Z1lMbJ5CiN`aiv9Ve08r4WP-5dU3UWP~{PQ&Ps! znh6%Tj8QZcY=o60R*Xa!piOyJxLd7c9h_O(}^%w%wERzx3&_e)&V)C zKZ}B)l1Ha_QNTYVH&jw%&YC-!`~;n9SZtNdM5;X@BMI4w$R92&tXh5bEE@c9m!6$= zEM`&a$pyX%(AY-uvk`%%xbU~^1W3!!74;B6&~NknkbQJ>(~~fAF2~G>lYvHKx?GE$ zn28B#dx4icJ>l`sySQoh9%F^3+pJ`#JQ4hN!h6g9JWL??yzc5N1Ayp z@3t&^Ci%E?=X;Jpjskz#w_H{J!bBm0F<;Kgs2zlK*8E6MkS$T~Ov>;(7m+*oHpWk&+T<4CYm|F-d)M}?R#1oPZ-8@ezXIUc-m5fEP|FD?Fw>tSLb385M z=blZ!_jALo;7dd{G`i!MI=U9ns^+)^m=AUEph*K_3=-Vlg0r<)5>Uh5FdQK z(jyxGE(8bp(`U*-mKq>(c0szC#2i5VHDA`Lkp|d-Lf&Mg7&e7%4l_cjq|M*SL6sKG*o^#t?CN0UYT^HU;Vk;dC+$s z`jBnO-0f?@-g>ux2lxRtgoOOcN=J#|H6-;(DcBH)l!HHhB>las+B3((nmq%X6|?hW zwM1Yw=Lhp8M|Sxe1@zYhjib{>8S|4NCn*dWCFX`m~!*{^@G0YA3)}*nImj;Y2 z$LD7s0WjwC)|(R#UhCFac@)py=lScLrfNmd1aE(rQ@zia&IHs1_FQk$Rz&BSyj>ao zzoT1)2TYfz*R8&o-`1~Hj1qS#CJ@$%oks8CrNvsKnGn6L9Z8XDdvxR_(Ufz@e$7fU z(SO*tiDx!F;;Mn+b@W@f?P6QuCM@h)D~vhbI-#ZUUy7>JgA=oHG*Z9N0?*mqmFYE< zY;P2VP76@KP$QeBp$lO<5osAobg4s&($U%}o2C^}phx(qn_Uq6?6QCbOykKE_TPAH_;E_Y#U&f3 zl!7JfoNT#qL?=2-stPi#7j;q93BV~@DaoFctwc!5xEz(Nl2js$k?@JrF`gFO0XDQb zL=p{g_sA3S#jjARu+40wOQR|SCQwuQ1#3e0P41>pnFu1!!#y|I7Y~1^BO~s`bO_pJ z+WuIX%5?#$f1!nNEXi+N0II`8>dc=!)mI6KFYZTbdw>P^o3pJ|l_k zTQu&q6btQjPrKzRjmAprO)86p{B4k^3Jwgvb#p5&=IBc2NrR}~r2a&Eg|IB6*uO!FUUVpQI4WG#! z!QcHQ?#J}F*%Zg{1XW%>OlK{ z+2fYtXn{Hq&y|lZ`N5{bWaq4MkKL$CFQd>LGE+2DO8ZSlhO>#Jih&d&aCqX4m03lm ztK&T4Na;f5U@MJNX+E^O)jm0-Vx{$x1+G~|clQcqI!GrPav_bWm+`LVQfM6Yx~caZ zcHZErMGKFN{6Np&gI>RDDP~2{;(^$Y7M}i^ZD#$M%hI<+wdpDlB*OCgiRkK&5|3!E zgGiyr)B1=vo=V~E`8!R9y1|RBE<=wd<`qpI=e^}bxuX|ye)SJ9wr3bh^sR+#706`q znWIIDc}CF%3`%Jv$b!%=1fNB<5K5)oHSzI06+c&)5I`!TlnVjYM{Hcp?ZA#xq#!qq zfZD~@eKs{n{m@#d`$Mo<)+KDd-0Wsae#Qh(>?O`7K$VB9lDTx7p67Y2$;U*E7MF&C z!6njg)9t5m@@q>+c~kDudub%Xm_C6z#s*Ijk~)NPQQ=s6sSq|ZuGKiKbHBd4*(UAB zpi@36x+Ccp?U7xoA|y#g8Bpv>BStBGw?1Mnw_qE8%tUyALp0OoPA@h8$^&4d?MS<0 zrd5{mYsyp`&M=<5YFm}|d!dEVF(#jBikvb!KW9Sg*=>8EyktP=C5b#+A1WS&!2Rf! zrvDZ8;yI3cIdrZpH>?zRKmCx4ZHPX%gt(vd#32~|A(%JF+DqA!3+M^diDm!Q^)}|9 zMtd*fdUJdD?{01{Y2YRfE^VOCWA#P>41B!YmiFYnau=-M=_0gj@jA%gj@wd&0pyBh zHNo?BAEvTY=Er)>cYQTnZfz=fbjJKGtj^s-opj_md-6_u3(E4#*xNfR?({~sbsy|_ zB^BT;ZM%w1p90e70>j1cG+ZQ}W520w^`)G~(jS%ce^RgwO1RUoDX%{%|1B)} zj{F;E)yiHw46L6ny+n+PdZ*PZp2nE~kYNU)l#E~-A_ zoT)EWR3fWuHvL=bxb<%P^7$Gm;_IQW>*=k7e{ES!k+&e0q~+IA+at0$Uo~-_O`^-> zlXb&S_4B$c?^k%hh3)yxBj3rq(`<*EI`%hO+(o_M+PNgWn;$c-e0AgTk5MNwhl`Yo zzvAiVTfHTTgpGZQ)HV3_MD6nH!C@@u(W39YlBX0H>OU;_uSxJ) zjKL2d>DN)Y>-h}^9&FQdUMGQD`bF$w(XGo~Zl7L`qTEMpw?s~9B=NcFr7iKekC-=9 zy4iHbHHmYIVL2?;q|pj)u!Y2H0ATSWBx+78U}KkRx`2?7@4vbaz766+Dp_z>rI$YB z(&@%11-V$Lq!!Aj=x>VZ`F*P^WZk?zt8X7|1}!s$8k;j$HtgKd8SBw)N4+%(6;y zfF>hrB6%cank@R&mWUNkxlCG?C9I%Ob~TzB{-`=5D~{~=Dn9OSkneYKzvwN$5R@`*t zb>PPkSc0$lj?B&2e?9Q?qm6qr&|0^+32x%Y4;aS86PM=wn_R{q(KNkybD+i;S4UEF zx0*pIBg;auco2iuc6PNEkVRmD>Fcc@DaXxSh+nOAB6!$btY!=Fdoxg}^;-e4%mA%e ziVj^ev9q(7C+9+=L1Cj(mCNfFS4_ux9&j_Ej+QNNE0o8M}OO%)ueD0!`Lme$gp25B^e zA}8Cj&Q@(i2oY%#vcGkv&vcmz3x+CgIa6>e_-C@@IjI@nsFuu{)QFTOZ;dxNs&3Lv z1;d7`E<1Rtj_xMEgp2I8Pvo^c_``4H$8p%DYBidw?^*}ZjL2?Xw`RG{INP=yeK@NR zqjJL1ITfZhss6>;=KBy?;#@VFl~lBa&Eifkv#N+7SqeG#($mtpx}dkK1?h!h4eCC< zAAd8>*}`|%=4sDK@%!@O@5o-C&|+aUM*ma(wBjkiUBSTc^6+w|!K=cN|BtmYslus1 zD{}(4cm+kp#KgG-_<2ORM0v!;0HOd6K3-7)01rTt?+3;A|L=)D61$waou$if3T^?e zv;bT{@kMtV4j8$kc0@(P!wTp z)yE~x!pH4W^6Vjg4?VfX(J+=Td7rzE?WIZ1M}STDXF1#z$o7XM2&NnzU?k9}cyB2< zDKIQqXfQ=4`$Yt+8hEmac+bQWUAKwJJ|(2G{Q8)Gnbu?yG9>FTFKdxyp6{ z>#FUl*nu_I<#{jXEsRTUW`hX_0x#PMU;6~UR}7twI8m|liX$#7%AXd{%S(0k%8*s~ z^$w88`1KZ$fA9c{h6-TfnCwgF-;RRhNDSt7X3j27=Ek;2|CzmsHIlQ7v6G93leq;F R4=3+`FGr%Kl~9yK`hRlxY+(QZ delta 12225 zcmai&V^k(y*!6QwZnACLwrxzdT~poFWOrxX*-f_1JKLJvWNV)P`@HY>cU@~=YoB$_ z_w(C3s{uc^0l&WT8zg7O?ISEbpwvL$V~gi|&~sg8If{+quOx_pp`Tjx38{QXYbNqt zhLvk*OUT?q9BAQ@SfzJ|Z6VIV5X#iG8@MQL^<5#oz0M3ix|EspN1K!fsWIhSJNO-gP(6>(Ok;R0fXf^PPy=^ z&zr^sa~qF~Z0XZkO&{&kp{Qe`PK$JOu^@y#hc;4|Ahm;WWvoUaFeSB0`?}kJ6pK2L zw{Dk?Lv&wo*QjUnN{Zm)nfaCv@cvh4*!uPE{Bh(lT%U0R+R5MJ3nxFQy}i4;^W_Ze zI>UoMl|rQx*CD45DkTdBSO+X`uWa+61X0`n>lM*;aiYL+U&C~!@bKV>%~BG3fiwBJ zJ@~|j)GNA6Bh=m@Fh-8%=NXZhXxPo-+kL(7Jz3~DreS;#G7QxNHs}8+qO#P-dPjCq zkpiD0lk9Hq*BMjhRaP>8WO>0sFRgFH^VRsx=ns43a}%Gcp}zM5I)86aCddvwa&f~N zj~O?Rc7cX3#r*avJ(a+&g#W7m8Z61d9rd|v3a!fQ}) z^bn7dpehg29kdq!ylRmz3I$SS!~*X|8Zc*oe4`eJin3g|Km)Yqc4JXc7Nh#%CszSS z>U%5FbDjZnT?53Lu)jOn)#S~0o5=56{5n4gl-mk8rv~5FPe(!55XsSKp~P)H^;8A2wb9a?Ar><8DLeUvwF$4mrjc z12vabD{@`pWJoqSbNOA+n!VR`Cq*X~ZcFSX<0JCmMN>&7$Xm3;_M_uqwv6YBy{5J{ zg!$#1w>f@9XyAbhmzZ+Ys)qK76wF>~^Wr^(!@#;2Zt39-09*#WZ^Si1l5zU!!BZaN z*zMPhEaPN=UfNZic`w4-{x$+pk9HeE92yU89LZG!O$h@@?l@Ct`#OZRD);-;QVQON z?3%FLz26JN#VH=0Un%+;t1u~UL}0T#5Z^1URMG&)Q4Ucig9FTa++A2H{vX=*K_=Oi zd2ifsa-u&6%dhYHORvo1j#(}dZg6m*63Yl%C^Hw+Qav?jnuNwJV&~R)-Ats|47YYwd|LK$6ZLM;+L#Vr)f{=bxHna56H$2Qg58V3K z7v^DlJ9`Mloxm5Z0>f#bwzB4vYr1ZNDT6U9z#qTH-WAXX8^sQ705$Zu5H`XI$V=OQwA3_SDw zwJu4tRfvvq>ISd9Yx^#@%qLnS2Dn^$nk^Xlzr7JgFI&RmJIStM%p7labfNdpb<5Cb zsHtWI5X>WbXAe*pq!RcHyUSqHj|$6b2ck@Xyj)bILXYN>95@$FR%I}F+Qk2t1!QE@ zKF}snh!6j*yiyoUBbg$AI8a+woJ9H3P(;Dw^ZpK7sNMYgZOo(B%kQ& z@cokeM52($zYty;lTP86U|=g8{JW-haS5}^68e;3m(S(Rs^w>>31xpuHVkmE1!*3D zMybH2qipxBhAc+UGMMf=uKJdlz{;B*6nUxHSFZl==nvm3LSk3xEuWD15-D7=<-&wU)>DH&|!P`2}LRty2;i>Z`5^M`zMP z{oD9N`3pUXcyM_4JM*=Ym?gTo_$ej8I6ktZbe>a)3`nCfuTiH4E)9J+hxm)t*w2;* z)AMg-1s7Y>TquR!2 zG){i9AdJrjBFFPVBoe|D`K3ukFf%_vyy_8ynd*d!tzvBcOvC_th2W8(qr(h<+Z)W_ z^Qa~hQwyzYE2Vc+I@c&r3b~UCanG5=s(Z?UjwOl_V!7>S*gwmtGN;N)@W?6;y^2hV z#8HKEtcrsfs?4!B*U=rrj27Ka;m@7)t_7Lrh3BV&OMqiVUtD_Xk20o<5M6T8=4fcp z&@~E|*6@c{k7sBeoyoEHW%z(81oRIM>=q5SweB!n^1NpO@F2o~B@tI%hkoV<)BC1` zOf9z8(5~w@6oXQkyh2l%F~0z=pkVxTiRSEQ&Kjwx(jdZ=Qbgp;2J8Co!P3BbA)qtF z3Y6-5ga2Gap2Lt%=BpN})*%zha%#|!mS#ZhM#tQ;dTszD=!C)7Qvkq@a;J@hY`$@Y zJ}f#HhWU>wR#Q7^go)kvSrV^wDx=%??}4UR1jRPO1pWzD{zmP#xRue_q@FwDWWLym zT(GWO{t~_hU6u8UAhK+jU<}5V+Z7dmUZ&ZE&cxMEJvzqRIUVIk!pba3vES;LLUX32 zg#FLl4-`hF-L68|o*;ldSwq#z*u5t%`$yUQhB4T_VO$McLDhLPxIVai?O-<6MM|zV zd`rEuEMVO(<1?B2vfv{W^Rft`3iUO7rQm?@hY{p#W|Umy(+fJs*Ep7u0LGd{uB8aM zW})C{K}7MQts!3MjH9BYT5tkIrVT=8cz8sC$5;a%y8vHdW*mTQW*lJ&dcMe_7GElr z&5XeQUj`&t!C3c=6Ye`bR%OAX!3a_*09nj$jFKi?EYG9LclSrn`_=iu+Z(b!xY*M{SunR!pK*XEm0&KS)XVPU|Pv>45K9Q1ol$*_*Z3(B1p#^!w^DWMjE!?Pa zjpkKpO|$<}ErD-UnR2L-v}*voy^lPPKEuz29mt=aVz0uWR-kD{MZR4`^;L2eNT0b6?rf6G0VCv944oop~6Qv20 z0LDT&uTn~gNf`REk!O;`<|hNC)RmU~#;nh5iG*5nv%-xq)b9;gHdF^0XsB?h$%N;7 z@@m-PyBQbGbzljoxEE}I$-!*3BAMaAz33MGN_wK+wZdg(SeR7GES-oS)<4avh^YR7 zYZBZHWXO$kR3EMpUvpt2<5j&{|NZM1047H?T5&5}D#qp7Xhi)Le#KH5Ty3g|=J2H1RqS1o!;6qZ&slTH+YNWVcHUe2 zRF)T)pCCuJn#4y%>n!>PRxm=Wb=ON@-%^lnd}XlOfC}8kewcWgy3~^ygxWe+&_kJU@$<8 z!cFwIX~O7u`;mkPx|n{91u)b9QFDWSfQRbqHkF8>TDh1hHqpo*WrIQ*;OM$}yr9_# z*o0iqx=EnBwqAGu(67U}x)YoO{y|TW8Q=M)D5i@k7u9W8PN9p2KjjBZhki@@yB7oo zZAh;FjCh^gD~^1P{iv?BtIwWtU zW-}{mUS=+9OABT`_Wu@_g%uYMhq<}=e}|?=|8gWKHog?dO*+6d!G9sC_0_n~oHh`l ztvKBE=0VcNQd&fV*W0Qzs9sppUjBFHCGZ@WT9ozm64VbL3?U`ongV_hH#qpZLMn)z z4rMVR5fT;U^B(|OCMQ!AJGupRL}3E&1CnWSZ>UUibz>9fs}HRhitd{Zk78)K-axUE zAO2k=ov}wT^MHyS3$$|Y8{;<8QRR;1>E~6e#lbB;8@q?H^&PY4`%jL+-~wEs zl&scFK2ZQi2eik~de2eHF+}~vNY*e6^c)mp-q}w~v%xqmALGeD?vHJ*?KM(!8^9{+ zkxR8bV0UYL{s|qIyX(TKr`pWXwiBn^JA*Gm%VA@>kY5a_?R31LiOP=*JOp}exBqs% zX>@G$M}pNCb%tNlHt#eIYvk%@R*fq7MnM~%I~HwD^y!q?4N;Zv}WXLoI{#>r9 zyJ}SW6vc=kTX461?%fLJ8(0Z#!S}v(#P5$p^O)v01^5?25Py6k(a)i^x z(z-3Lp!M>7BF+BIdR{isM97-TIvil_hQ_fL9DMh(C_;LWkWOpI^)!w) zSDz|KaC}8gN6UZoWpYvbHzx=pxnG!h_vB%DlNnywYQVV-XbHUWZ*Xw0DX9;mDuCM= zZ0s50HbU@GR;k#lSJJ05FB_goO&j+Btg*scjLJc(OyY6!bdl4t&xWEv^O@zevuQG! zKGO|wi-<*1z)vJ1eIJX82TCUYv2S^+*Rg_wmc+wB0+xTNpy{ie1f;70kGBlHqsr}7 zi^(cGF9sk=0mkxa#JDN*Ny=>K_us8lj-?T4-yl|hwv>192UK4h0OGZTju$Iu< zxg*Cj#<9bD?v@O{xSqw}<+H7K80>&tg%W{W)+&}%GtjBJEUmVv3(>cxqiFH$wXRC? z@CN^^1rHQft@(8Ha;~4?kOSL#8iap%de_Zvcad1AwTHm7NMO#0i~5DMS5luQKiT>- zT7mo?JbqlKDO=4GKr`14R`1pV+NL}4*<3AZVfKi4P0VnDgniv2`>+jOojPPKO^;Cm zGH^EyX1kpt7>RDQ9ZYznX5>f15;vg-_kmJkd_bD4zAJR{xe%IywdM=|6?_hHAUK9X zfUG3B7z+>6-qX?YB+@HIXJSR$uBd;7w3ik3+1ou-6iN(;SU(lB3_0AL=pTsl5g!Ar z^rE5~wJ!8Q^kI;T@b460lgN*bif1E)781zugv0iu40@+CXn2i+w*w)-ECBnYwhL68 zJ{bYhSxI=!k7Gex#ylX_>MH!2hSUk`CcCbl79Ea%>aTM_n`zpl zHCI*}lz9u=Kr4hAm9qTld4Br-mGVp?n-4qte=2GJB+T#Mhfz~msio7ucB5oDqQ`z{ z%O5;^?1{qjtS|!*qb?7nb3+14*UftbUtY3U81PbOXdu};wKaVhdUg2wy>Gwv^7Z2G z*iW=7xX4xb!|V@K_cHrnQ*IBbK7@+zH~(~4ZTzr4lN(4mh9v%kpm8g78rz1&E60~M zbVJk%g|LGChH4@34XRG5oJ#N21QYfYj3E+_`%tCLFh>Yjwf64FQ0WpyemL)i%PCqe z8T<+gdQ`Y}5Ubj(=Qz<64tZc<(r>t&w>Lp8vMB9wPIbyRON+bG6Dl{|;#~E+$`m4) zz2%~=l>0(RM^uqIE-AcMK~I?Ko0-k@kNrI(gf2uPGKnnLY7wP!WwrfdDA73`w*ZU& znMrmWK64*H*tt6pb&zNw1uBPJ6JL-YSZJuT8o~;?r-w_flv5HXA%E3jAAjYDr_@eW zA-7_r(7&~BIE(max8!4C*dl zek`_cc`AsKwe@glD|+!|qmH|=lEyMw@yFRPoK69dZp$MNcdv3t=lexXGDx+|F!i#8 z<_-EIu?5Yfg7t*0YyzLK!lFCohMx=CO5Ro+ZoA!2#XrZrMX@|8#-zAe(be4VduSfB+F6dx7hcxwFC`(H%3qT5nm(K z$j1Tr8?=@&eQd9m4BPCYU0Jm-C6LSXH=K*CsxU5%i1?>=ct(CcUHN3Mqt}?_n?}>R zCw_TiZRgWFq$uxO!DbIrV+-M0;@M*Ecg;*B#Mc}L!OJXNfo(+CkQDfE`hT8>dpc2C zgLl|>j#s=dHipZ`13fgp7)j70rsQ=N^p+NYDQzPu(fqtV0pTGO5hiJ(9^v{6w@);Fgv#h3`3TEWC*VDD>)QdR0T6i8vtv_*%XJx0U zKF6bYfHsBgqtcDIqnG|jl{PQ;BIv$3VEMCz#5XDX>#fjf zoHQ%c92hxa4XsvQRQhO1gVfJ3DK!^vrr}%|6Bk9R374QahoRnV%kUh7QaY;)VhTGVmZv!&{Rp|;z zFF5-gb0Qw|EgfXrj^`%yf&+doL{(!Z z{V2c1gbPku)jh+1yDE99;I7QIgKRe+I$aze!vlHrKO{ZkwWiN&#>ur7QrokaH2a3} z;oh@HIF`E$GcOe)YMN(2F=B-PKZUS4G@btNp{!ujsGvk$)?1IPrD=0rCVv9{-?(Et5NscDWbDNj9^< z-+~<%p})zqDnD{Td0(FHZ$UJ_KqMyW+6VOCjWa&RMSd=(<&H(jqW{7H+=d>dQfbN3 zxga2_-xMJFCp<>o=PDp&@P2?^oF3a5vPg8P{YoC8mXa|1QnF=OyEKIRgI|yN!vf`R zt(jzvTzlj0$LC4-l<;i=7aUGR{3)Vh>(NuAsQO>>;;mNwi**lcmpVPWEzvRg>e?fA z04@82OS2a_(WHe?4eY>VIM+r)0IRn1ZJFMYjd%W6r8(CSa zA72ukpU0=2Qesb^7^hRcFmF`}=L@)@+BCwNoqGG6tf^Qea+9);VizbK&;2X`vNk)1 z=zW2Sx8d}+Q>%f%+r33@k0U`*ul~8$dFZ6JsAH4)kcEQ?{CosJ1EegM2~%NYu)4^` z;4vdvS`-=122om0RjTq;-_-lEY|fh&#`9w&e1Ni+v_ivUsT7i)p9T~yuTwO$G{dV~ zO{94E+hdxus{-bWQViBGgumW{MuZS|La#G?nsWt_mC+$}BvF5Jr0n(ICZ=T$G^i;3 zuV9rmS?r|lV{|J(yWR@{d7B@6!%Sy~PTK{E%=Hs>fAdQJc>y2R2VSd6bL;0G+%RuS z2f#)Xl=s|j3ngG9Rr0k+BwG}#*MoBFiwocF@yiREP%msrh(lmS6?f;tcf46rUgdVg zn8I(Y18BK_Bkr^>1P;z4_=J#%=>h>(j2%lwJ|ifrBya(}#)tFwPHpNNAU*Po+4ZQR z^c}H@&agjG4V3o^F5FY!Tab9Buev0yD_}35AknNFGTrT+CgXpxx?lEn_A zDLON+styA(snw+pds}o6=8Kjxxq0VM|4Unb#3dD$D#{%JNxW$v30B8}cW6!2=w?66 zlg^UkmAE+5@w=(AH0fnHZ=hSNhB{PK*F6&%l7ZCZoOjW8R0)!QF`L!qTV$Uc(=T4NC_aUeFLDl8-(d$c3tNj63XT#++D7U8Vqnv?baxTkElPEhxT`&YIN(7l9`& zS5K>mrD|=YX@AXe!b!PLS>s{29_vE%0D8xMQbeyzb(8W*obfkP^z5zXj>&D0Rc*L^ znWs^BuOQsh(2|DV{&2~-OoG~VTb_Sh&T(mtf8v9h{E^gcFD%o49Ej^p%29+q!x<@X z%}U@#Tk98nP`q#-d8>(c%a@z&2+&+XB%fX43s!2<+Fdx6+jT91N!H7pxEueR18F`Ve=-LH z<&BBxr`J75W|YV>sSs+ezXBmFko2{})uovjjOjisIK%G{f2&~_(=~g9r-#?hRSv=! z+ZyWGJvB4dw1q!~$CJz=UC)hB(COoW9jyS_gsgZf%new_D>x~7Out^0=u$b|X0=Ws zAszg|G0$nwz7b}299xJpSl!sSERgg^h%DuSOhjS^+Ss*Fde=`zOrHHMwC9sJWMgtR zvFO1tQ$NWX1+aEZ&x8G#CpgH8*|hu3#RzUOT}Ayn%DGR|${=7Ef3va;Pa@xfjzs(eH@<;{G96y;yJR$>g`!{WMnmyOooMOneGKi}g^>4o!X zHd9pi%c$gMBF}WYv&2aLZb{mu>Z>NJwSvcv6G){_rF?TSk7+Lc#iOUa1{X$&XVzKA zhWGD!;tQuCI7`p1DKl`3TaJc{uqMoI)8-e3873Gu_I4- zTWrhy$Z>fZu1@svB3JQWeFXV(5U5=2dun8IxvJ)_q|7@8sH>h9F63QbOa)!LJ{0;= zx(!L}{z`XwW*fkB(b!$6w>g}@Od#PjCPt2=1iwY}ra;7j^Ct6V@+JUz%G;YgVXOlV z)|fU2%k8|mTW*!HiQ&HPG@zC1cihLbrXdL;+{N3PE48$hZA_b{d%Mn{b<*BV%*f(f zD`AzFBg5M~J{;AZ3QzG+*0K>o3+=PL!(1I|n<;tfnKf;V;ZgR@c) zm`>yfja?tFU-3K4sz3NOs<48}UhL}?5?9%$}|Qz2}lX`bsFX&{0^#jOxc9xJO$Yvf4T z*%to~$0b6g-Wpe>xY9N`_&6pD#7)!hAALON*~mE7dzZ$Eru zVy8%U8K|6MWoZG2^CS8w@`JA;!VJUJZ$qiS_T)fVF3%))Gra~+GdtIR@^HV_thQJv zz47y^-81D~wA9SjWyH-x6nhws9K{Y*MUB9Ke&}WzD6_NkA&5y9(!UzxxH2 zJ{~r`wesdZvEFrl?myysM&TeNiSV;3#$)MFvdFC!+-n2Qlv?oD*BS9iLc8j66(jw{UxW1qI#Jd3*piYm zfB6l%B?SN|z9;0XB(C>%W~p4$B!-_V`}buO-?p@0Y%d>1x1TAG30r>i$VJz4xs=9mc~gJ zmFy*`Iri^wZWmH$wzG`Uo5}f#*WoBc%Ug`R|3?G(*C|-HuXD!QRpSR}sV zsyYjO(UamO2vdcjn{E}fmiS4VhK3cfNx5kS7i2|?5Xoe@Ud4zqP_*jf%l6zRFU+70`PGQ39}N$d#c5glqP{fXZZ zq1xD~_OZ$1s#WJ9B_0-_brmu}`EnWM%fo{~cQm`8RDe>cZb+P(GQAlm zs$k3FW0$5fElJII>a{T=!(m*wcSG=8_yTF53k#04l5~Y_8aIt@0!o*9f#gP)egd}c zA*=A&@HeleI_nT%uMY6L(al1fUruuY8OT;&Unho|@cpZ;DJI?Aqq>Mj7n zilugfJnvf28a8ScRE}F9`wPJEC`1*7jYeU4fWNpa_BUB5Ab5DcpTT*cp%D@Z>NN`$ z(cC{W5`v^^T!ii}yLsxnlF4gbS zRy>?%f*sd{^bY{J+IE_6{pv(le#`l3#Zp~-l7Nn8hP9lGHMA!3cT)Xb61H-3%g0Ti z((yan?AS}d41fO5sS_*_LV!E^5>$J}>S72{!nAKx8^>!P;hpcz0H6Cb)kMAtU4=$e!0>AJ5vI~V4 z&Z9Q>E7@>rM<5%UX~BGZgq+IhPb+t9uq5S*qz5)J@e72Ax^wH`Ct#8qdu2&QKy)&O z9yYhQyh?GQ(EZ1e4;`fro7OV|^FzUU2q(#%@@9*+T%fFu5v#Rw>8K{04EI%Z^UN!} zvTAKSyxShjbWCFjldp(9g{nxPy9KgzNaG*98+?_>ebMtv2rGdF#EBFdj8hpHacc}M zj=XYfkK{^bu(S>`IbXo05V&fjWsq2&HuEPc2^_8t+n~%@r3Pcl&5#{x zSH;O58(6Wk1obM2}IPXMoV8T&mzvQ_#%scimA3) zt10j5f|Pdh0V^r7ZvUJG2u>`&B6pZULW2Av{_YQtw>Rcoxp8nkcGq>i+oHegY<`iz zqx!F=3?B2M=6tRNN=J@M+NM19)8K9arLmi7K@V5G)$gmknjq)m?uvWP?hyWj@*eSj z2d2Kl6-YutIV){-474K2w2sF1IM#0B@-&Kc`0lv)sMLtu+RXaBt4>XJZTlw9X zCkNfUIJk69@N|CaOFK`)r4`bjV>P_!x(8MNdT~|{J0ouoWVQmjyDB4#SmDgoRA~-$ zkVoW74%@^7xu*f~(c-3+U#A*zBT`Bu57tJj<}_beq{Fhe886i&i6mCmM33UIRdvm1 z+w}Lm0M7T3`9+r>pn%UtfJtKcr`czqi~s%StpUrm=IXOP5xIEyo%R=KaV3nWeDO%Q zTsvd_U13(=xJ94YDrcGV5$jC*O6yAEs*0t@AJ;z-6+|51vsL>1@UA*{@%kv1W3*1w zTB_y#OGdj^x-5a1BQnsg=nQD-Lw>e;A`0pS1fc*UB0uK~M02-$4OG$ksv*Sdz3N_! z<#w)Jl)}*s%MLc6matCz2Q6dSiZ{cEqa<&&0+4>~2Q7HqYJ89dVbLC>%1$5H+%kes zh1RFGG-|&BscTcDsWj06V3}s-Y%#;; z=Q%X7WTRemU)4LOWT?xyXvIMD5x8IB`#zgTdx&y(PX$1)?kT~=zvH1e+&D2ebp}*< z?=Majr?{Y@O_YbP3)Pr8&(M|{?%-k6R-3mD(KbyGj=`^aBFG3k;iaWrzPErwJxHEe zc9s|a80Pdf*?S2;jhtRt^yUZnyj258OrB_XJ@@}vUlgM>3ic69kE*Sw^ZqmLb|_(o z$-$xU8?XD9jQx2RkOT*2z00H~%v@^wME23>8w*YOf@jA^H`d*|<{g7?(G2hnygPVh zr8Qm`wWX5L^`Mlu!SUE<+{Eau6&Tbdj4wGf1ve%WiSLwiMaV>PMLHr{u>S=Bdo(lo zL_~hx*8O5xCoG~+?EEz9spVTf?E;C5{J}RcV}F4+hTdl225kh@U3mCxD2vvnKYCm- zUg5kwC*=h8iAQ_KsM)~x5ebXF`oEdoHMD`E$CaNu8VXZSe1fWoGX;dCbl%Qfr@+nw zBGnt07PZ_2s&8$9R4K+l?-&4a-Ph}%Q>qltUJzBu#`~7gik%>Tt0TFjK^;!M_<}1J zwYIUjxBCt4E^&VEn+=6^V@RgjrEIzocI@8(BGKpbJTR;Aj!lq?OTn0v%Eye2YuHV~ zFZ@(D9uk!@vgq0d$wHIE(O&5Z*L6}8Xz_nl{CofLrIJ^Eokhdrj4uE*_Ny!Yk&7qg zH;k1=BUGyVx`^6r31099?Iux7VeZ69Sl`5hx_>n7UJPHTLF}qDa(o`mreziU#U&@j zEK17gGTuSlZsUwFKVx7zo=aPiKD-PgRwMJhNfHk&4J_@3U)gwTntRkMY}luR^?1`>C5)5P3?^BH<>8j{Wr9qDFS(c&b2#& zwIYG-`Mt`5=ZUnM{u`kaV^by`X8Un~s~;*ZG#|6jc7LkpRV8h2sD=MVfX~QH38yZt zOr7yF9ruCH^u;tstClQmL__juH z_J3&#+>i>KeF_K_hNue^n4ynGx1i`)kKI=k`50Sb7XLlFGVGe2_T)+Rfz{d&xjuM9 zMtL+$ru7NZ_0M&ab-F0GweVRaxzQ#~l7~D%EJ&iY7(sw7;$9GMS zX|&?2zG{p=CW$kGy~ihat*kJBD%NFQYmwI7K8$v_sfiB!NC+H6Tes08u6ip1@aqTk z=l4|@OtNSO$qB`w1)!y(1bDZwT}CiMS(VvNYD zWaVt*X-me*$CN-{B`E^;IdCS0TkK zEQt-s4YyAl))lOSn-OPT z8t|)##G}%#()oJ`*AC%g2DLK)?~BHHgHdLxQ(ABLbF+ZZeeRq7X|Rmk5VdXSR8okw zZAkT8m4;A*q>H4&(WZ}~$`B!5q&(dacRM8SKBDIU^J&OxQl#J<60GkxX}k!L(@0&l zP!pmS2Q?)_R6Gp-#bIsln$B}YLGrkB~e)oNmcE?R{xUZGwbRxg6-W#|040g z{AEp)ua9Q`vVq-Mo!RAyGgiMsme#{^`rcD{0o80P>ygE~p~bI}6yrP3Ctr72&_{ZC zy$w9Ll5n?7LWb3HPXdm`5-c&wRHMd=^DIb{^GEa>7XN;Rs~#NLHy(CGYHDd!8N~kq D$?ucC diff --git a/papers/hatra23/hatra23.tex b/papers/hatra23/hatra23.tex index 72e1f181..1d73ee53 100644 --- a/papers/hatra23/hatra23.tex +++ b/papers/hatra23/hatra23.tex @@ -49,7 +49,7 @@ error reporting). Roblox has hundreds of millions of users, and millions of creators, ranging from children learning to program for the first time to professional development studios. -In HATRA 2021, we presented \emph{The Goals Of The Luau Type +In HATRA 2021, we presented a position paper on the \emph{Goals Of The Luau Type System}~\cite{BFJ21:GoalsLuau}, describing the human factors issues with designing a type system for a language with a heterogeneous developer community. The design flows from the needs of the different @@ -103,7 +103,7 @@ We have now released an implementation of semantic subtyping, which does not suf See our technical blog for more details~\cite{Jef22:SemanticSubtyping}. Rather than the gradual typing approach -of~\cite{ST07:GradualTyping}, which uses \emph{consistent +of Siek and Taha~\cite{ST07:GradualTyping}, which uses \emph{consistent subtyping} where $\ANY \lesssim T \lesssim \ANY$ for any type $T$, we adopt an approach based on \emph{error suppression}, where $\ANY$ is an error-suppressing type, and any failures of subtyping involving