From 48ed9daf97ec6cf76b62b8edf7877316638d2ac5 Mon Sep 17 00:00:00 2001
From: Sankalp Gambhir <sankalp.gambhir42@gmail.com>
Date: Fri, 28 Feb 2025 14:29:46 +0100
Subject: [PATCH] Correct lexing result ex 1.6

---
 info/exercises/ex-01-sol.pdf          | Bin 207828 -> 207827 bytes
 info/exercises/ex-01.pdf              | Bin 147090 -> 147090 bytes
 info/exercises/src/ex-01/ex/lexer.tex |   7 +++----
 3 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/info/exercises/ex-01-sol.pdf b/info/exercises/ex-01-sol.pdf
index b680dafd501b95c33f97f246d2683588579c01fc..e8af4edbf2ab6a022adf26b2c02cb2f1f38a4339 100644
GIT binary patch
delta 1355
zcmV-R1+@Cq*9_Cw46qeg0X3Il<^m~yeN;<t+b|5i_g5G_$v~s(<=3$r+5tQ4vfSDp
z97nB%I<{dcOZx9eiE?TW!A>G6lKS|O6ieO{mi)M3@%*;Exqr&aq@q<W@?`s#aG_|)
zL{hMva#1DQeez5m&w6T%)#*m5lH}>@_UHYRScc`C7P5q#!T<ZvTQ?mWmu_T#S&<qK
zFq!@xW!KjJvSQ?vijoY+ZjTqcbOX9ZrPF5}?R)dWxYU#Gy}#=|(QMxEge=7zHP!w6
zi1tvEO+>fhoK{(e7=JyboOAME!8cRH^mvZ-RCk^3P^<g>d~KbsgOZWq4UI>O^?>Mx
z506XFStc_~#(C3cT1s-~&A@<vIg9~0BpFTPuQ4pX;sFPt8~S%`T|m#)xDT}pfi1;0
zthxujBBN!MqwnvbJ32G;R~nXaDrGh|Y}*2}z`PQqo`plY;XnY^5G-Tp&0wwBb<xSj
z7c7O@;L0b$3#=;yN@6S;-GFC5IMYPOQ;S5j=z1a2V(TJKq#%~n*52iRPZ|eBDl&W-
zrmh}G?2DAp2n}<i&e{gL60T^a)SA%;Xj+jmqR%z7N26jal2-5qX+=Rxej%;X?#!=H
zD`0anF?&JlOX%pLOrL%+^<KS9y;tJYd$GQTf-6q>7mVi*{dpRu{R_+3EnvC@f!`r}
zB4?CA)T&;Cu4f)RU#|^+2cx_y<_E%#L2pkp;arl&?^~<m2nSQ$G=5_A=wN6#K?SeE
zazO?_sV6iIG3k0!RM-?=lHJk8tk)P2Jf~TyE)1AU@&75R@T^sfq5?xw7PMOPb6O16
zbnJ1EU^NdYnP{1RinxdQ5}*_nm4eTYy)Y)d*X7^+2ik^bRTys)826I0Twz$bih11L
z`~}@xawdb&T8GeD0k_av0_42~G%`6bGncs-10Dr5GC43ax7-*5J`hnuGebc(Gchzm
zF)%neH!?LrI7KxxH$pZsMMXA6LpVh~AUs1eLqRq(F*HIkFgQ6kGBrUsMKv=wLN+l)
zMK(o4I7L2P3NK7$ZfA68AT=~Fmtp1tDSsu?J4_T&6vpv$?(VS5!m<z86;M$WaY69~
zBEIl}fVw^rMNv_)G1{2em{@u`4W+f6y^Ref7A7{v*2dVFn3$N57%fbUdjDseU%r{S
zbMBqxLqz0X5J@h>6_^K6ng1-LY{Z603IX<VZ!0MUX-J@=A_ae~2{Nqffwj=Zy?<uN
zaoGuLxNIS<hi>TQUMu9eTt{jnttJ(q2qh>(J9Mz5M)HlSD%ql+Wfc$lVFQ=!n{0+|
zmFluD@yUJ`Kj|hC2Ty!+j+XeTe85KN17GKpeV+d$HI=?8A36YoumyI*kjltQf4U8}
z!w%R9yI>eb;0TPWOf2~udteOq!GC`C^<x}>gIxO2#^Degh8Z}jQorL<Cg2!M!W2xy
zaX0}dp$@0uG@OC6a1PG1n}6UOTu_<&>*HtPB3y#2aE-<M6_V?)05{+!+=4~8%{tLk
z*L_AAg)<6g)Xb=vQ8Q~&S$yD2GAhsBdCICRfArL>vXb+ZQ!PLD)S`NC#(z_*>XKK~
z@~W?AJ+-NR>hV<2kZ!zD)X>}SsidL)#8X+r<GY^PHN1H5sYAot#%>i2AF`gR8om@n
z!`I2kw?~oh@w39p)5woEkzYR}zXu|J7UK8Ha3r0LWTqpzu}D5XO_d%-Dvj|J$taT1
z9HTi#bByK~%`uu|G{@+gjUED}F-l|pUrTe$n?q^LOEa#i&cV1*?UnooGZbX%m#ZrS
NAqX)FB_%~qMhb#-iy;62

delta 1378
zcmV-o1)ciS*9_Fx46qegmmw7cDt~oUJ8#=C5Z?1EgiI6=F?@-V#<YkFbm&rVNd`t{
zV#2a0NOa@;`;t6Lu?lzM@%Y{AyE~HXJtNtV8<Ng%+nf7MS!WGyB$L_pEu&1}ny{=Q
z5>wV>+g<jA9?yDg&7|`}h#JZKW&87f!!FGv#TBo;&xrqS`^k-`*5w7S8-JwW@G8^4
zgY5PyJT?S<<g7;a)a~HmH81>K!==+_o%B2NOeoi*?gQR+pP)8xaC$G*Y&EKW4x&S<
zS&_0UD8)@#LXN*SIi(amOdeYbWO_IUHL9-D9o$sEo1Z7ARlJnQzJc;IK|Nk{_7L*Y
zvzO7>(YT=c%xjMBg4#1+j(<bU+&dXe8=k=|MF|N<p|kzFo?OhHtn)r97Y+9q+OX=L
z$FdUFjRfp(+nt=T{gsB56mwqA4cqQLvz~dukeY>KUQkZ})DSg8?2Vl!^V%iQlp;*n
z&juC25j;R$(U2oEfznwxd+SV_fFFAxVh_-T$O&4P@&pP}S$h>Ae}D2cC|n@>r5HOk
z4A2+OeIvA=8*$cCq${HWH$to#eeg|_Tq1o|zCAizs*rLdt)dsCRRRmfX3{$C&eU8Z
zmrE=upK-qV6<rk?0$j{}2)@jHxTLucFm){t$^|B(ngcu?^yh~ich96Gw?3;|FVH*S
zk4b`ww^~(f0D7hgS$~wQM3+uXA75Us)J8eMl*>7GSU@4!vVcK`GIbkN2T-ZD)q_)g
z8zDTdThRM}dIXhCp04bUXassa!8#Ok0;`Iy)5I|2OS_)TLQrVie+#VrXHl){3xl+L
zFkT){JqUhZk08bGgMWP=X*uO(I*gZ?e~ra6Av~a#&-kA_3Km*6apwIF)R;&CX7$SE
zaeMO@VR?DDgUnio%vu4r%vu8Ey(lv?H8VCVFfk`EFefPrFHLV`L}7GgASgsSGB7eV
zFfuYYF*7qYGd8!_7y~{KQ86$#H8(UdG%z(qG)6c>FhMdfGB-muHZV0cFf=zsFg_qW
zF)%kZH#9LcFf~OqMmR$-K{7BhH$yfyFf}zWG&e;sK3xhgOl59obZ8(oGdGt(`2s0_
zCDX}kQ&AMh@pE4Cnl#OvCbo5Kts1MTQ*9k;9jetD=b^22jvGO6CAbk>cowdzEB^w)
zy<6+9J3-v*N<k2Wf*>e}dcP-|55M=`edpdJzlezZi$vl%xB~MaD)XO(lnz*fq!7Vg
z?rkL{APF&4RixmrbwG-BYhX3>a<3DAGF<k+DlWT7>!1(%xtE0;mupFR(n?YRico?w
zRG^zBb&_vXQ%M*7EGu}h5eB$q-*^-BsniyIiBI;k_(?aAIC$)vbF|n`<pb8kAox0;
z?DPC9sjCc5`OwWU1Y2M?G*m`j`_p0A2HRl=?1Wt~0*7H#Wpcsa7=t~q5B9TvuODL^
z4shv5n}CCG2rj@8mF8WaG6_fF7)-%&I04ge5}I%dPQw{E3+LcGyZHy4g^Mb)e|`KV
zxC}FJ6|S+EUm?B@H{d4Rg4@u7JFF8;^gdveQ8=S;M$L?x88x#GmDWRFl2Uo`&Qn@t
z@uR0smF2vrjB5F%r!LidGoG@4stXlQIn}pwp7N@n20RrsO19r9YScgEsiaZ!nWwTw
zPwsoFX!PoXr*4gw+PhUXdY|=F)96b@H2OLn`1UyP{b^wNdEm!V;ODQv??&KHD|}uV
z3na6FR5Oqn59GqrMCnnW+8$4lj3OD$F`8pE$7qhx9HTi#bBwOpC{P+3qcrCKTAE|t
k97<zenh8zx42O;CZ{$C(%w>9)sw)E_2sH{NB}Gq03K=hXWB>pF

diff --git a/info/exercises/ex-01.pdf b/info/exercises/ex-01.pdf
index 0f5211a454b97081ddc1819637e393e7c88e3b34..8b9aac3c279a97f910aaaeaaf50259c4592cb3d7 100644
GIT binary patch
delta 133
zcmbRAmt)djj)oS-EleLQHB5{wj7_u+4Al(`)HS*Eee+XX5=&AQG+eBV42(<-jEpP{
z!AiDESTQv*Ia#`zSsJ*SSQ;9-7`d1@x|o=nn>iXA7@E4en!1`h*(ul<5>T@Jjt$c`
FMgU@vA~65}

delta 133
zcmbRAmt)djj)oS-EleLQHH?kT3@o$_4Al(`)HS*Eee+XX5=&AQG+eBV42(<-jEpP{
z!AiDESTQv*IT;(d7?@c)8JbyGI2t**S(uxcI~tn0I5|68SQxpv*eTc;5>T@Jjt$c`
FMgU|>B3A$a

diff --git a/info/exercises/src/ex-01/ex/lexer.tex b/info/exercises/src/ex-01/ex/lexer.tex
index cf5ece9..ccc7f30 100644
--- a/info/exercises/src/ex-01/ex/lexer.tex
+++ b/info/exercises/src/ex-01/ex/lexer.tex
@@ -144,10 +144,9 @@ lexer drops any \texttt{skip} tokens.
     There are many possible solutions. The key is to notice which tokens have
     overlapping prefixes.
 
-    An example is \texttt{letx1in}, which would be lexed as
-    \texttt{[keyword("let"), id("x1"), keyword("in")]} if we check acceptance in
-    order of priority, but as \texttt{[id("letx1in")]} if we run them in
-    parallel.
+    An example is \texttt{letx1}, which would be lexed as
+    \texttt{[keyword("let"), id("x1")]} if we check acceptance in order of
+    priority, but as \texttt{[id("letx1")]} if we run them in parallel.
   \end{solution}
 \end{exercise}
   
-- 
GitLab