From 3d1cd0dc458eead432bafad832ee50495d345343 Mon Sep 17 00:00:00 2001 From: Dmitry Boulytchev Date: Sat, 12 Sep 2020 20:56:04 +0300 Subject: [PATCH] Typos in spec --- lama-spec.pdf | Bin 259224 -> 259227 bytes spec/04.extensions.tex | 2 +- src/stdpath.ml | 2 +- src/version.ml | 2 +- 4 files changed, 3 insertions(+), 3 deletions(-) diff --git a/lama-spec.pdf b/lama-spec.pdf index ecffa19aa55c8c1c57f997f340b4cae8ac978445..2fcc1799c30d17c50598d2609092d1d9d9815811 100644 GIT binary patch delta 5617 zcmai1Wl+?Cw*?k<=?*~}q`Q_}x=TP11eAtFIwgNJ(k!6BqDX^uETM#yq?CkoNJ*{2 z(jYwF|GoG5eYi7c?mcs6?##LO&du2)%iANXmlebjW6j=hz~*Uk5Uj)jHq|CkZqbt_ z*L-Z#z0z|##?GC8v`!h@M(GZog&OG8=$lSw)>{_z8_wi$a(7$ zykk|kk}*47=rP^3e=D;+8Z7#7h{lVoK0nSxDJO>Flcj;C6rCD2YXas zeb@t)(Zdqp=K^JPS748;R}@RNZ-GZe<}5z%U`d-Fl&aaggHsXJ6d$+-xzm^K zkABWOvXMT?T>pC!@?22p4m*Oa7dw+ekSbG2G#ls&=?Dod8OGPqGC`)Zl@1$~X>(pW za2kg)5~!;bE60m-3TWqMP;=^2YHNQlg5X~2sKQ;fWObUdculw`Rdt@}(D25#CR3+b z7?XmcP&0^(5>Y5jwy%wiL~eVi+n`T0)L&=7DZ&V>=?8|=z;$!+^wQsOiDgv3Rm$8p z091t<92jN(I1$Kzma^WdM!%-SeLbueg)g2&+h-PA8=#x;k^5+`SC+1YFJXyzK`Ly>~w&^$`zeqHKZVZZUR6v5m*+w7KE>akW2_;T3L~?p6TDS2#&Q(T~zxqIl10r3VnlT>7X_$(g%6L(Tx)+}r5a`x% zq)_RJ&SYdv%!pR4E!l`Edg^q@*T^GCC-k&>dpVkY8ycxr6d}V!jq>?ibvaWaCM#X= zO67QIzp?0*o}&J5jN`!p;+1;c3r)rMZ{4lO%%)o^MxM&`_>jPAN8m@6hM9wnV=O$v z&JxE-9d1c*OsD^*+#+IGFJOlSNQA@6wJq%jOpiV^Sgf3WlZpdY>1sURUd=#PN(N`` zHbz?(Ua~MMzQ?v+rtMmt&(_boXNmID|5F9rwpKdd9J_KHxF0M1&h8pts$BIf`{87- zC`^mr%>2YRFXd}v&hE1Imuz)87pk8*dR3+6P_ofQD2WExT}7bpS2&|9kXc7&I^BpR zEJ|V|`61CUn}d3>Qs{*mMU;H?!EM7;?s#IE`n2hu@ExAKt0lTAO3tWJ*qehBQ(gI1 zxKUiWqeC4p%P+rm`lhI3sZ(HDKkC^F^sv)s?XlxZcop7}@MMjx);Ej0ZN%NsZdE;a z4JDI=3=}6@fCvwo>V7c=+*i?&Rh~~=DtPuBOaqGj%-3oH1aAeE(-jYm>;cOxYudaO zl{lF}|Ko)pk4vNDkKA)r*$q2qTk@RSlReD>1GSj+%|;zfTiXRy#<}NHoPrco$5v;8 z{{;@^u*Giz<_lVrV)op(12`SaH`G;M8doAvXHG`hQUxkDP3a>~yI zmnANB^dVm4U$fJI%djNHtw2~}1JK%GvHp1b0sU9Hu8(GtAJ{M7&HBH;u|TkxlKH(U z=v(*7mI-2tEQ%8(wO(MjXsICT;J9vjnjHgh(yBwJf4QD#S&6Au5%z2PuL@?$4e%bebD9E3@ z47)T>vv+>glQ2{H=R4DB&1%;%V#d$YCRwrT%N2xR?|~tmlGBSp*vu?7(d*iR^UIi@ zy7!Y}gd;4|bA`Lpk-Fcf{md_l{7(D5wGA1MGzJ_d_^(Xgm3zY;j(QOrBg;j#K0Y@y zj(4<(+^>`yHDCUud`9t%eo+F&hx)%P=mUNzd*-ne6)@b* z4ff{K%`rit{Qqt;jxIQ^e8NGSB^0`M)mq_7z zs5NRBKahF(+w2e@WSNcR1rT2GaAcz^X#k#Y#I8g+t8Xf_p= zBIqN$k~%d+w+uS9Uc>R@#%)B0i&=dveL~Q9W^O5pa8WS@;!5y?=iEEy8-Em}%Q@6m zdUBK>I(+{NNwn>M*v%71d@+63SGEgI{FOpm$vqE{5}8epa4*>UUXtPPTL!S&5RBLw z*FSlMHAH+D?UPs&Oosg&`;13B@gphR0er7qpVmJ|fb2}&Nj&t{;s~L|@O3!P^zq(4 zc&m87`=u~*;_)a{FXi*a_1*sdVOza>49SFgP&@Z+a9G$6qYjOY1ofrW_$CkAc5zQg z!K*Vse7P;ux2fw@d#_yFcHYyvzLS;xiFU7+x)$i}mm1npPtp7RYc%a@rQy-YC+oE} zt7?xB!{Qg$7yH?x7|%H%uGWBqwDcwux(jWilOEBit?L)e-#2ZwKQ{a3v~|?hF0^FS zTI@d9$aD~}+>se*BefX-Tlf|zML|VqO!pX=l)oQYZBXVcOs0t>U>+r8$q^}?Uc{zQ z|K+l3qns?b${6*-1*BBwXGyXki|;66j982gvs+hTl6gnC*kAh+0;ZAH{$1VEYzfJ3 zPEqa?FVGh3O<-5h(D>B}I{_OoMROUZX^5WBy?kR%%#T-YmoZp?*t@FYsp>%Bw`%|z zYD)2}Rv0W`lvwF8MrvWl&P(N)QJEJLma#LI9d*;2FOk#_%;>*s5QQ0_GG@I6>cbIawJ-%Wlx8vs##~5iQV@`bsd3 zsPnLJaj>VI5V=o<+)Z$Cq+yc&CieoZW+O3Iu{+#XvEM&l#kyfY3p)^GmjFxmM)B-W z=fR3pivF6}Nq$GRn1#K}PX!^N-)6_9VTgly%?7x%uBOp^Ya{u2NA2nAETYy<^Z4fK zh^4BkYA-!KaIhney?*98)dtn|19CRx&3cf8xwmFAHn|c%*$UgBI&qlUd;$ao8h73; zzDKR+r5H}{nGksF@%9`zQ`{aWwQ7^R%3?4GKQ4b0ol?a(zgXz_(9m^QizWo|spfdO zF;9iw%Ikfa$wfO$`1RdMA6uY4EV})s_rp3`)Yda7@!b=0G$O>abNHg-sHY(W7}}>3 z1Q6V#FD_@cg(VzqclEz-@d99+j^A2M&Z8Cf@*Pe=tG<7Oua^Ff@jZVBETfvqWFDVr zjfS$j!8t;cK@$YK860MAB?5^kDYJQM$5Abd%dq~=hTchU=9}Px&u}@5m2u(}ecqui1M4Jj53nQU6WkX)R&wy)12DzJV2*=Ju{0 z%2=98qv2EPSRzuW=VI?X;F`TWK%lGJko?YEC+UuNR@!y}6{bnxTf7Q+$X#tCKHJc% zwhLYm99z@d}uHsCZ%qxr0vxDkP2=GR}lAe$K|py3=0iqi3G%;z9Mvv3wT0 zPhXdKy0c~_LwmpFD!#*OjdW;B*;%7uwP}oaG4zM?LK^a0X5iyC{2=HacWTp;uS+Xt zQcpp81i?H=9O8W!q>9o1*%kYnrMr~JKuFl3Ce>(U0~QacLRn<*7wA^E6*URFV-1t{t^YVg^AZcgRY4*g7d90nw^;qE zWnhzvh{tS7^bdvvV17pDzgmPg2^3KZfA+Nxuh43cX2Loz9}M$1elSt2o_d!ZskL;b zD$8t2jJ)+S&p1lF+D`ZXdDSyzXA>FcHC81_e*JmF;_K(yxO3>CEUSsE6b2yV+b6#3 z>V82AC>o@+--ChZuQd)aB>4mV<;#!TFslAU)IMp72R*$jI0Ttf$>KW()N%aIw`fPV zI=>cghAFH62Z3@Ou*O|o6GTW87}#y+4_~H9XT-ULh{C5Ox#f`*!;>Nl1&cd zG9iHzeGwRh&c4rTZQNI*npWWZfx~L@HMgWEuf=DNc_a;9AXo^Y4$H-PuaGN9dlYWv zK4SNLCXxh~#29@a=&BWIf@M;_YB25{J$so+;zn?r_9#C;;Z3S)0?=S{hq2rCEoclx z5`I#ze6ADBFc_0DIOJk)gNjdk#j%@a?IRNv87ESjAEhL|o`9x)-+TS&yYXEXs^~_M zoWq5`4aVYbqNm{`kb7|+##l+XN)4*?w}6%JH;{!}MC6cXY{;$saII0fn*3|GyM#LSa2e4`)9YR#7Na^gj=7 z_Uj`M3DEhtfQ}GPN0)a}cL9r`HeK4`w2^iw3Y4`3G?EhKjnY7t0tLiJ0*eO7JY|_hJQNsdsf4#kg9=8z zDIj#Gs7ZB_oKI{?Hq&hayQwZIEh+oT@i1Dz63fbjYE|V@2AFd1DzJ|zk<6tAQbpDp zn`>euUQpz9k;kv?Ltd9c+?0H$kRBMyRf43D{!nu%dVr^ib~3SrPQOnPYjJXM>Xj<6 zpgfr>6;bvy5T8+Fx_$S^NmB{3$ccO&!Y!Q`Kt$r)XkSn@i6WG+m?NoQYAN1uog=!Q z3@8{zhbuwd6d4kRz&+&8h>%5M#IF;Zix6dQxHhpgvRPLoNc(l%MNyPLQic^amlTk+ zgDah&5r3387WN$HKJ@bL%>6dXl^+{LD7 z#<+}1>~_mDaNkmn;dxP{9A3Ya5XSzwIUM&z2SaF%`*h6Wd&tyR{vE4kWH9sadGgq_ z_QX(UaAoZn@?}?Xl4Q53FOz5G$A-P_Up0IFC;4ZZ1kM>;qR+YXt(Ogv^}yC6I5MNY zWLTRkvy7A10Qq_g2EP_H$>3u0X5F`1?hzJN<5qvUKwV@_P%2}6EB|azRiZCuJ%*QgZ`L^s=CB(Im zz*C+XfmJ>oF<+*wwEkVDAeE|D!rkMJPQivY{fpXNhX+US9y_boo*3)PJ%;RGif_$P zIj#v2oGO`flUsglFkQnng<)+@?i$~>hRPnSAoYR=Za9w$sIziIfO}!IhRWre)k#tN=)^an3u>58sQWCZ!40Sji)maB(Q`)mYcVc|iZ>s2dZpi#-9#huo69 zqTe4=aGO+ZkekW5xdcfLD|hcbeuSL02X$i#3<1~TPa$=`+^9TVQaQp@&%D1j zPP(C!Cj1Fx{we;-)WO9;L&9Xd6@P^!+$g`$UM6c}3C2c4Zt)d%y8arFJtD^51Pwrv z$sVw1^gQUkj5v;Dj3J1aj>M0d#+m>HKp2T*dG9tYgXOUa#Iedj!vt!qE)@@0L}2TF zZMZ@pK%OiK>;Du)U^by`<4_&oiP!ZHXMZ))DE4~WmfJ~hZE#{Ym(5N%@SHnQnfE_k zR^UF`xeEPHM_BXDfZ1vR)tC~EVV=d9Jsg6q{+0u0PDTHYh-cw zr2AaXfz+&4w9@QYgasxaLB-DvBHK#%rCttSu8GoF5+OpnsrJG@ zK28MU^et``QTADl$@q_#0N1+?HFMxOHZ@R$ybdVZ$O0lhDxC{ zti;Ui3U5leA^D3_*|`dsXl5nS4tZ{?{EkZorLg^jh)S6e-L#c1lJ&|#)3hq)r=25M zR%bq@U&|}UgqoJ#T(?Gj0qVj&7Be@c!Dfu=7Jl6CS4Ch#xm zPgp#M*A)~k3~;4^B`F`ja0K5BBGW*aHh_nYsx4-q&OF;p1egieEj73>8ODiw^9l9 zcrRY}jPePMoxP7FnS`4xS(+~$`0m%`=amvql9EscV|=5WT&$9;h#FBWxe+G)5;_=! zZ=4kltc zrzHr~tB#0(BH5&a^i)_Pp^a2$3j{Iavbsscddo5dW~2>xhEkN11o*FU14=MnVkKqv z6HtBH(i4c>>Pde-r&%8?N{UaFxUaffZc1*`;tX<1H#YPkdlijH%Mjq#*&t2!oXTiKGX`l zEvv`O+*^`HY2}rxvS4CV&+Zyx06pU6(Uad+ctuMv%|vzu7D!PG4$2#{9(b3 zDB9jg;ItDi%t)o~{KBO?8a7JdAaY%xc&o;c$YvUck6n{4Um+}dNzM1=4zc-m}F};l>$wyablyWhX!Fa6* zLs@iUc|SmN?RYJ1|CMwN@3p1CY6;SNwrMu_igIrb%7Wy2I#&d?FLV|{oR?^e!c!xT zLejS?OV=v_A?NF!SvUvmU5a}HM`yXa-g=Fv;{&&Jf@D|m;A0D0CznuX7|0>+aI>+l zP#G6e*J=fh61((VcFH>z>egRfW%PjQbEoU9p0wbJT{_QY7$mq#iC4Lhq*gbT5>Poy?H$({B(_MX8t_bB}lVD$R7^J6_ zJ=+181J^epx4H4=T|W#1^$RLoV`4T5*WXoTb>f{gc2u}Ya-J6-e6A%`p@Mm3CeM?w z*)J6B|C(!S^=LNm%%xfPtn!Es!#!i^uD&1@Cm1V>Cx4;7`R&O_<=?-5FEfM;`}NuQFuf813M=8e5lD| z@78@I;V+DC?mHWu_$Q-jGKJ1WzQqgWK#E->^kooiyp`a6!uyJR+ZRlx4h2m{QU=DBZAR!m0br{L~8m5dx^-cB2{_eiw(M=X{pKyR0NS5tezE4m zxxR_SGsK|WUh^ac>Ft*7s};iPh3CMuxuq}FJ0fV8+Ss?gKYlK13XvTld?7-^CHD~W zpONq&O%U}-`M(I&2_o_-8t!-M^#I+o>atYzhM!2(3oPB1BdH$Jl%FN06)3a>>Id8% za>Gk{j4q4=%_MSdy6IuiV~FXCs2VbuA02{XaVtUoiVLaZJ@GX{`-YDTc$@&tb0NAvBxj{}C>Y3t^XvzM#fT{`(oscxO!Kic(Hukz%7{5_rJ zP2XLwegb{Sm8Vs{W_2EScHwnNi8V5bG8CJwavIvK$v_M*fAad!QtYI#9B1`*mWkZ>ERWP?yL zIp3I=Nxy(?q8w2i)jaxG^P`%1j&D@D1Zo2;@zTsQ7w`JiS0DIE~48`=?rxy)52jgb~r5U z{cDW68m+?oH(E4W_){Q7J>Tus+W$04>s1G$mR?LPcJdeur|Y z==vdFRi1vA@}4>jaIQ(gzaT`YpA(j9Ul1-LaT^d2Sb)An&`*V`M8Ek?$LHDIHQVAo zyjBf^uKj*SMr$>jZ||Arzr~x+xTM7u)jL};9{GIO|6axXVIXev`eIp9_x<}BM#j@P zA0j!^ic7j)+kiUALE@Iw9Odp)r)Wvpxy|;-eIM)g$k(9?;QXY-_h0jCyIwd=e%VYp z>B_Wr@cabR%@(C|@^ciMV9vv)Iwvm8dy)F)H={y%zmpOV-*}H1dw{}i0Qo*poe7)wIe5$z|VsZVLFw1N3$fTb31646< zV*9Hv&LM6@8vtQ>uP0hhq-hR$dn3-fcJD6FTko@Vx`dzF>>OUW7HlV`-O4UZ%imDp z=8=uRRH$B1)F-!dtgdJOm6q6mx{vg;2z%?S5>JLR+Z>aVnJ7RObCZH)Ey;G&{;1H7 z$g9b*hjf12Nfdu4K1<)C=S}Fv)HzI10Vh!mn$`Ma& zISk)QhUT?^Zs)d;nx4TItL=U*gTLw(gZQIm$FG$$Xf7odgw3$CE8-~RIYuqQ2E5Yb z?ZLOYV?e~(O=7DkO5LyfQ1e~jX2I3W+;{SVzv>6{gs{bltXZ4u;HmN8m9h;@IZ4fQ z_o(kIp*XGb3h4cMlOeIt(_hp(Z+$S>nz74Lvdh{?GWZ9ca}AyDV*1MQSTeZWEF@dv z`ueR|wQUcu4op1|hMykgSoAf1AX*l8=(gB!Gij83C7>N%5|OI@jH*E({z`=z>J6mt z2HvXsa8{|o_*RQuxzYG_a+IET*>R?y6h36&ERp(3O{KF>E+#LUPn`_SmT@8F=oX|V z8Fn6l@^ErtY$*2O@ir}7FIIA~C#~m6Z*xCWZ(leCpdv&{^6E<9a`=^3Bp8+)l$Ml# zQepFni4nq)_q&ONyFMXc-*2R2N8&S5cV7e`TI4)Ggzua>Mf-Tye|>JS6W3O+ ziP*iTbA-K>kPll; z3Cqgy3(7;~p~Av)a&T#wAXG?51P&9Fkzf$}Ka&pxyed{sHtx0zd~hL=bhBejL7=o$ z%8-rRfM;h;=9JP`M8mf}DGVE1qTDBEV&c$#HE7K_$Y48kMZNVgZ->5bj)4n*0 zhC8V!J4bjo2`*yi_!snbfe|*HLWEXbFB8H4L(L5jRGcegSe%KuX_0H&YL|!2Z0kO} zUgQHdExs(SnWn`At%pwnPSZJP$+i!PKcw9Vaul{gO$tSbtS8GR)9j4VWPkG%a8Ko6 zyV>TTqG7weFJTRbbu(R{$aq$o$LEMDQ*Le@O5SWY9s2_xmSq7Ubyjia>w}68 zA&c65s}I%awHXfWb!CHP>BX&O^CNz9FJ9&-W%YY!!aP1n+Vv#?=_Pi`eMzraGgY#Z zN`&p0lI~0Phg6iZ+{bGAOWvx~_rp|Gs`~rYRLYtlwyS!A^S&B%=01vkR8wv3&8MY& zep<|?<0Y6unMq)Dq=G%p*cW$lDCP90NsQ-XmlBi3YA8!1RaW$Nb;lsfa$UE7>w6uZ zwagRU^w0@y$R59=7c!BD@wx&63O05tHuR908tv6DNU{C;)07mHnY~2CJEA5l5{rhB zBai+~bt|Z+^g@b`HPr6c%8I&g4~PMXdhl75|2zFsYGay0YHr$tXA0nIu;rU2MOO-a zRZ}#wFXR6Vz9v4R#KKzhDIGvzQUK_`5UV~#$Y&bpEy2nf*e##!>*e)RLmDECDT=sNhxHgw;@!Cz0Ef++^^rbmfw`1Gs?r5BE`B#VlZcfM(EkC)U)rp3wu3nC?Q z6Xd}ddAMSbyOO!=`%R#BTnH6zEiw&%_u@Slp(>I-u;T5oGy{fo{yQdO7s|Kve4fB4%lP-0wYF#zO$ZUmkE!C7bfr`fxo zpFd9`g7>ATV{w`{?k&FtmJqtY^*y1eCP-PDdI9vSS69RQWPi}ZuwJ3+w^P=#RB8JU zli&Ir%vI=Ncn=p5O~(abloE7R*Wu*Hgoh_(e4pDgp}Xv=R}B(283A{on->SOWMLdLORyTR70=~@ z5t%!6hos6x#js|Fpq=$+`xIW@YpJ_(H}Yz10Pd)DvdR7$h1&2*w)Mr!Y299KsbgD* zpo1m1IT|+E?Qa!IO#a^%4T`fu2a}2FXfuYq`cA$f^QJG%FA)({glDS$j`Gevi;J7eO z6d04Z(@@B@HhHQl=4o7~-}}0JwAc{m%T?7@UTi#yBV??UZ{-C)*=s$@#i7e>;c{Gg zZ7L@a?*X%wyFS@dl;be=osFubqpaSWhl|iO>rAepjWQwSQdcV*b@T+zhliP&^el1uvP6({Kiom0