From a5723cda8e6121b30d680b0c378d666ec80c9252 Mon Sep 17 00:00:00 2001 From: Jim Date: Tue, 24 Mar 2015 13:51:58 -0400 Subject: [PATCH] update untyped_eval to 1.5 --- code/untyped_evaluator.ml | 2 +- code/untyped_evaluator_complete.ml | 2 +- code/untyped_full-1.5.tgz | Bin 0 -> 21187 bytes topics/week7_untyped_evaluator.mdwn | 2 +- 4 files changed, 3 insertions(+), 3 deletions(-) create mode 100644 code/untyped_full-1.5.tgz diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml index 40ff00b3..a60b2a1d 100644 --- a/code/untyped_evaluator.ml +++ b/code/untyped_evaluator.ml @@ -1,5 +1,5 @@ (* - This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.4.tgz + This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.5.tgz You can use this code as follows: 1. First, use a text editor to fill in the (* COMPLETE THIS *) portions. diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml index eab51399..f61f7008 100644 --- a/code/untyped_evaluator_complete.ml +++ b/code/untyped_evaluator_complete.ml @@ -1,5 +1,5 @@ (* - This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.4.tgz + This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.5.tgz You can use this code as follows: 1. First, use a text editor to fill in the (* COMPLETE THIS *) portions. diff --git a/code/untyped_full-1.5.tgz b/code/untyped_full-1.5.tgz new file mode 100644 index 0000000000000000000000000000000000000000..c35b63e723b1a14dcf327442aa58af10361cd39f GIT binary patch literal 21187 zcmV(xKqI+b?mE@$Y z?NTdpDQ!*evb#$?>ZHH@&I^y-1s}2%=d=}DN968cFc=I5g8?uzjq~eCIOq+hqtQyY z^YH$E-Tr5Fb@lPXhl>6_;=ikF5BRTqRCn#+>Vx&Q?&H-5YPI`dwcGtK_3&4qrSh3( zd5{7re~ZR*;Q(wnobz7VVgCM$e5U38?+n687!Pi<4&cY52M=cU|5~^Eko&*8-hH(C z2>Sma{Q57odYeSd`uvCYe;A)daoFjPBekJW6f*o?JC8=;MK~%ySEIx{uSIblro*7G zOS|u!?`oqq3DPV~=OUY=(KyPZ3whY$Iw82_GdJE-JUoQo>N8 zxK^rlv3OjSG3WwGd4zdJ;nf_N-&&d7eQx}z%>OcA#-rP-WB&ZV{%F0c?Z57$hhQke z{Qqce{cisM9G~VrHBJW8QK)vP<8h)oK94dr1a$#=BDshLVW#rSL`CDtC>)1z9^_FH zXDS)0{5)i3FiAuBuNo#PB7m>stW(3UKW-~P7N~4`n&nYG&BK)-9;~EbWCpogwyiSI zNuwZDd7>`Q;pOx5G|CXiARI$|c^c&50IN{_WPBRML7t@7pyJM=ep@B+=vo0toQ()9 zxd;gpP>3kTNg84?XaQ)&AU>N0XQ8?b8}RrtN#95DnYxVfb9El3VFx%6!pw0IrAdqp zCMqVQ;9A9r3bPCzMZrj=pk1K}PzN*->dSyF9ZIZ^){aa<=;)emCgYp71IRW=Fx z(eN6pM?|Da$0NW1?ML9tAkMKF(=60Y*@-V!6)>SbNLJzm>W>BjYjG`fR-VfhQqL*chs|K&hkL~P2g7$Un7oD(ho+^Y18;LnZ^Tk5u{OYItsJ4 zQ~5Pi-c{eKHDr&b<{BP!R}lw1Y+kk1b?c6PAa%1|vofeG0AO8-eAW#oROcv6JSY4y^!Gu^4TVF zibEh9#7V>sWvPp@1b^3D0pzA110Zx-|6HAh`DGZQ1ce}o$%JTx5gU?JLVv~3CTJf1 zI8E|A8Dn`G3ZhCnwR&g(CVCuRVq==E zP5L>(YI;#TOaMH~H4gW!svlt;stNB}_;N$l-NK-y#-Ny{p)Op*g}|UyB2-2}4@Lp- z3kL%ciZJ8s47!$DJnUqIb*SpEOT$K;e3PBLjX@P)OG4xoEA%BOv(#oUWB7m&QC;b7Va*+5mNX8`E7HjD!Jv%#hCbAkGlfP3d*Fz6+5 zKSWa&dklIA1|R-mh=XYksyy@+_7%aw%&;f$>_m-0kM|Q$l_>Cf@WFgC0E#krJ3!4W z1xgBV^8`nWXg_tec~WDz3gsa6G@V5}pUL}Z*n@B36;B${fXZZ6)GOgtKb+*uO&V)K zj@-rhj>}JA+$8B326n*p&LE{o!c-4_U%RxsCm`Zqw zWuYMIW}ZO@Ku15PNdt5^&W}Wgh%$T-bp-P>G#*folK2b?X5rtbA#wtgKroq%qP{3L zY6w;s7}fzp&=!DNk%1i)BdP*efKx4SXb|EIPY+?n1N5j>+fseVb55lX@&IO$evpPn z5kVE>a+0p_XN*dTmPsqM+6iDJ>l;ZP`rlpt^ehB#7#P)v=? z2l&AkP>=x~w0pt$bPzOIZ&TeMS;^qKPy-gmhsuT1G`3u9VO~T9ReJE1Db|FQ37%PJ zqg3f3bVLsox21H(?xfUmLNkqsBjRr_V0VXL` zY6;kq4CvI46FyGgJ^B5d)(0@)KyLN3@50KXy$FN~<_c=BOA%6oa^GV~w37MeoeP3o z>7R!%+cQhIgiuhndr_8m#^G4r7-Rwg12vYSO@{cZsyFH_c^!^m6!CMZPGD(x8PJ*~ z0|$K%O+D${xg+p2f!WF(U*)mYYcD&xwz#4~x!L1OQ^{p%bp8Bu=_!;cU|VWfxq|)V zsbKou?@Fk#SP}PfgRDXzQr%p>&Q`h78xJxrId_;9tEE9!;VllT%ELG*RN{^$eo`Jy z{IoQlq;2kq8p5I_EQ+aJ_KT!$6y!7wVO8Cywi|J6CTRrbI3U$eT*);r7fJ6Wj<|~4 zvPEbrEhB(-fH8x0ARzt~h+(uq(y_t#2GyCw+YV;TMbMun)66mQ!ScD+G9Xn}&Lqwys!+R2p~IOn zDd=BuIH|o3X&47%G=p3;4u#kcSpUL~pqaJW6SLZ5`eaeNu^C?g{bB)UT{c0?` zLGRy<*UvFtZ?&fzg|05omLFlJNi_?XL-=-K6Uc-sH60KxEQdy3saTvWECtJ|D!-&5 z4QfdPn^I!ZEg6edBMbhI&gY_s58ALjO2NFjJ|r(5I&#>b2RO;?x=qh$IrFnRq_TtK zL_aIqq7?^GahcRahv5dg4ROg-qGRFOi6<1*^K+~4w7{{#8<%TE?5>$zWJ!}5(o2Ty z=BCDQ!yO65F^X!zRomR0QIfo$PUs~vz%-1DA7Sg8d$?8e4E0=({N+KGg=x9ky3OS?ljtUE4cx`D^ZgqjC6QvLoSW}Yt-+AJ0hoR0z5^hNt^d_hbvSjD#HaZ?|@hp z1xjjRB`5j=^_+Z#iqWSWoMF%L){)+sD&VnP;>p96%4S(z3&UDVi3@Mi!3-^13&9XK z6x{6@O$Iuo#b1wJRb4{P=w7U4sor(Rx^ym< zt@Ldh8B#J=?-ewKJNPT+4~|U4>srmfPOp>EQ&dH>*x6uywyJ8MZJOp4DARncwX9`R zl_2VOhZ#2(0kk?jP6=#)bxHU=D|e!?yl52sQw^U)Xb5e*i;2?2&7ohb6F?>^-N5*8 zXYjg*bt@r?fayU2rLZ#L(-}9IqPd`+Y27K{Gxt%Yi9> z=Rd5M?3Rayb*%OQd~LN=vtsBs@%t(~2Lk^F_Cn z(%E@39Szi}UV(vh#o-kLp!oO{`ptxps;NjJP$G6?M&<@v${<$>Zh32R$l5{#*(TZj z1}bdmop}DpDG;F=QC?pL*Cm_3WS{ri@U5^mC69W`<(?}SCBC!!9l0>O4zfR?sl)@{ z#1qg_jo+8&n;Q-2g~B~^nkdhZmgjux1D4ZRgd5zJIlcwl$3vCD^z0mr$kXH^+*DaY zCn)7)C7r%1w`rkmUREdbM}2GQVSoGTgExHUvY1^?MuSw`5p$dnuG7J@?txMT5%BAC z{8KBoUpLBKc~;NK)yj>z_|BeIDzFOc`JcgwGf7~JzC7}0CV*0*=IR= z7J^ZmT+`9bx^s53j%QnfEQ`)!vjeEW0_y97v&Q@2JEDe*DE|qwHsZyjWoZzhSA+$q zIE5J$ybhavP;EcCl*4LrP%Y!*vM9Ni;fVfLj;`6GMaWe~MD!9x8J`H^H6J#Woc&Qw zD}u}(QoFC|V*~+_2}XJd104@3;9@YNqtr0L#5wz6*m*6>dF!dsxadGy26Njmig9Mi zrf5}U>f}mY%Za*azb{>Zj)RkqqBGbFPmQa;P4QSJbS4yI1k_Ag;siiZI;OLMwzXMYXXaFKJGq&Xf=gP}RaGjoRV7L0peyCI!XPaQJf@kpb0 zvB&Y&_U(;$dOV4>(t2{n;tdy;QTzEQ$$%l{*KKNA3Dd_pBtcnV&#~=-a}$YGG#tX5 z6XUtGWDLrtQ_+?lm!I`%YNwyplrB`+G3bLSdH)LTzMFdc{QfZSzJjnzG?L#7=9)H+ zi;uJpmcy+BC^okQd-6;XJlgM+fF9w~OGLsT3F)Y!)p6RB76xxeVxXv>0It8Cj^ zAD7`$`AiQ%vY$ol)RtUn0|y?_4$gTr%pKw!sU^#;T$E6R&g2;l4aL^+SSoPPKGt6fpOgFkWX>WA~lNT`h3qkA?3_}U_`WfCL z;`7kBA| zhHS+fLfzuht35c{6+*W=iNhh^R67mNgNq38(Bh|PIh8yoJ#E_bmKhyQSP-gWvzxBa zwAf6yD<$M9+r*`@bR$Mvmz^fttkZ9bM_U^-CF|K@Y3m)EZx@W(YVx$%w+v_NyR?pe zM(gMrJb5+6dog1^J9G~o<6t6dMc?v4@t4b}!(=o{F6kuEWuhhln9ul%uI*6|(_J)u zgLO;QxA9m3t@2A3w>DK>{nbGJRn=Q{Dr*)^P}&&aNN5@JGu6apq_g%S5$4scUdb+1 z%d?JIsX_~W>wDDys-M~S|D#*0V?q3%)wRc!_&)%5cmMx$eArP`2?6jN@5`Iv#vUB) zB+KNovonOjn5BEppd7&thQ%J34~WL&qe5-tT=A`;e$*p<1Komn{(zp^(LU=^=Wort ze}hkD{Od3=w-^9q{`l`w%(wFRfBfif{C|#*H7?|8y($k-T9JC3FHCqa=`9S*{{;ya5F^R!-3l;OTWEbzD9MBv4Xar`&YD$BUPN-?RThLSgWS zZ#MU%v_Bn#w8eODo}Ch4>sULy*w}i#*wV^s-m<6g+<~vId~KP^JEvS_y=aS-U%5Rf zzQs{gDB(V4u_<|@t70QE(lpl<%d+GGdIiUJK5ZKGN3_L3M@9L}+-YcfOZP;fBfJvn zR_p7Fau>Pqv--lVgvec|b)0#mAeQR*Q(pn(s;C>r!|?N%@LP2Gl-&~Z8J4qpv- zRQjXoAT(h=Oz;k8Uxb5YP*1}M!>i(Me^>6bT~&_|Mnj6!P_LUObm>-tbUf+vn0#8t z?#93+G|Fk)x=ryIibK^|_L6%W>1?(DKg9}B$!T)cY;9`nZ{ODScMLgKx!|X7yO$be zm(@ z_=*f(dPPq$cNB5?G!29Iz#rn3rn!vQ?Owvq7fIt=F!5JL!GYRbqRzdP)94 z=g(sdB3;ZGl9736fULz>NVw)}uOcz%8i6{%nzB-%syiCWi9cFuA-^&`np?6v zt48!Y&n>BG^^{#2$GX8GSUgB(B6ANcdN%O}<&C=+S?&nIFw5)C%cFSUyv*W(`|>z- zU*>7yXCKO}H+%L4HcrEO8HSaE(@Xf< zh1#EvRc!SF0>y4O=Bdi6DhxjrHHIIqrdfYmM^|lzPFna{0xHev68MZO)E=E;eL{WH zujNIL!Pm;%(9&&1Ehu&+m(-iF6&>!}YGb`6&z&Js%>~ z6v)%33aDvVB`f2Kj`kk+E$t5&>)Wj1t*K4>GImdvw;{``Dp9+=_E~b;CFO))Bt(n6 zCiR7n@jq+sGKytbmvBYd?#3BqRNBIGghY0bNO=Q+1vasmr^OquiV!u6ODi*jFfJmN zm_}PVmK(GW>*oed5G))*Hb3j?NyD(|{}cy&bDS`Nwp29}baU1U&H2CCtG?N{)TUw& z>&C5D8;Ac{|3BZtwK*-M7Fc2a6#w5G|L?7B04>=6>8?I}RPz5m>OQ#h|9+NFVgE;m zT7@S+L}%wK><}IX{b&^B5xOHWrp4*CxGK4nyQkv`?CNaulx8rqTQ0l)H4fuh@cP-E zAKCIDAZH%KVD!Vp0*Hk}Cu8kHj#%rIC9Ur(+jq{;R?1hrTpQ>k_IbDtclVEX_rI_4 zk?*1*vSH4LK?Tz|l2h>E)dbHK2Mo=@wACcZvgi~qUz!60nT~tOXRgC=V9tlo!F9Gg zZM9@WNDMgPv{SK#GrgiAEmH^<4VvFtTJJu${i*1Go7>^mW`G6ze`^od%lrS29z0sR z)Bm62Q_%k=2)Alt?{f|Sy!%Z{qa)l7!y6BL=Oeq0^Wds{6d>!Umly*Vi%LXzI}MmH z!4i;n=FCCaMhbyr^~r$3?UsXS>R#87`al&nf8-Md+pSrt2N*#mg1avGthF%Ydq@2w z7U3Yu`qPXL)9K3y6!f|fHJxKV!vr%;$yJ$$bYq86;AI!CGWdE=lnx|sLl5sF z_4pMd&~d|^l35|Z0JXZ!n-6sfz+AUy@STv;&`%sYJId53z}rI5comG3Dc)WJoP{eS zZe(ssdf|u{Q2kt(9%G(>qUh26+4-aZ@n=CgfRQ0*Xmp^o5PM9n&zYN8ZsP@2dRAou zh#Axv;`tjZPuqh*gf(J@g|-&JQvQx0%cf(AFikO}&9Qb}Td3+}chqMF>0uIpGl%X^ zJ-FB?GUtXc$XQ4jZ2lo^WRoHWwG?lF*+>+CpkGP>>ELk1nyaS0gVWsZbJE?Bi=VDn8RG51~ypR}o41k*z z=oYjVB(_p!cUYp&1p!-<7L!4Yw-`0|(ewrGk>!4gr(n&EZpWF9SjBpFUb^?n0KhSk z9U#Z43^3Lq>b6uopLFz;z82N_E{ef@uexrl6Bf7=39Ub&IQDp7S7O(MqSA#gAd=19 zvp7k0W)GlRA2XwCVp;}ZJh6kWV{XS2A0ms;DJHk+=W=UN90Y~)brggLs?BVo0-S^O%@jLy&0R$7 zY?A!Kkz_pQA`SoNKc7m=`6?)KtFg$yhOJtdPRhDVNc0AwiLu^lZZWC+tetMKHlIe6v1H`k4YN)k?5 za%$b|9{6sj`}l4_GhZ40Vzo+YOss%guGT63YyHbtobez&Vq z2Mt#4uG}>N?7>CM__pWbM5kJaz%2*1Tc)B?%=I#81fDjL2X97`7T{e}!%QX^m*<>% zZ%V?)5i<*0smJU<0@=h(M&3>2Z9}s^DBFM_qk5xHHuPlU&I|&PNWeuqV!#CQWboD( zs*pIBjV}0MmJ?cZG%Lt+D@_%@kK-<3Dc7&J+$L1KMUq^K+YGQ3j%cqE4Zv+Z3E(u* zE+_Pob-;iQ*j#dwGCTTNv6`{G8&9Sb{EyO1(xL^8MlvPz^w?IC#Kz4!)z=s})SkmI~2imgyRLvXFF*Gwv=@R*vO^TWF=X zvrI4q6|0J~H{F{>teGdUh%>pB@fS^%7to?Oxs>>TmWcXQ9T{J^H%vLjsL42afFZyr zz{DMdXj~W=eAnW+{sd=eKz4#|!4y-@LFXXL_4a|-GTtnFux^A>BR;~btJ zz$v*_7K|=~Yh0<)PNp#)*lwmqXt_1g^;3$$08?|{=u)n};w4jxcU*7=IOy~~tTsfj zCv=eHS$1EcU8bw-&Mgh{sR%9LBul26whrU#82iR+*62-NKSG`GX&Fp*yVq>b%Cdwf zN-aXi6vzM*cj>HaCpO<=hR07qmpKd5;_A&ByMShA|3^NojNTbb9;=BzOU}Xmd6M9% zGjU2_>Ni>E0g;pd&Lrrg)P34;2Aa;&VBE;eMZr$Zw!rOePLaqlB0<}L6#+!pB#9IU z#`U<^>XE)vbe?1wW>OnQII1WoRWl1mn1hPi8ego+`f_g0!&V#5En?C;Tpgb!)w?LR zdT%;IyO@@ARG10S^%v#k=A&(AvqLtGE~Si(<{D=(2>*^t`j(6~cm0YTxg~oF^nlem zolbYJ@!`!q3P%bGgd;D){4~7gRDl#XhDw`RLnpifHdnb;l_26iFPc&q{gZ?kCMq2f z>tV}+-R5Jo9rXKzlDSYsx-BLxIXEy0ryxnA{`)Y!rUr0IDwJCc*kkNk?LLsf!!*&v zA?t`O;SL4W8Bg+SzJ@7J_}+XW`xGALusbhumB^Nmz$4`%0%z{@>&e}FaY+U|vh!c# zQewsb&uO&BqtBNAckKcEuYCXK(Stkx|7ZE|Y=qhcIzFNhQ*ki5{s-D>W`@!-fhy-L zj6=@E8%*WWC~H0wMU)X8(E zA{_d!I9vPCpI<&Z*i#W5a%&%zZ#R$1Vg|z6{qqNW4Biyb1~XKh@NNkJtz zz#2XnW86TU;qn@-frePAr!v>z3c~uhbXU>A9SC2AKz9`^Yeb4{mxS;_$U4gwJhOfnIF8GJ)aJd=mQlx$VW%9j{dT9cwoT5miGYdA6VhTW5b?i9a)IXD^^GQmKZ!h?Bkym zyn5h8vh5&AQeRgeTIu&8*!^y2|9JQK&jxCD8KA@`b_XwCS8Hi^-fhs^8`}#*iP}o_!9RUKW2l9`eVn6zdQSb^~>L=fb zERgfkryL3pdp>n&AZj!{!blk>zVY_z<$)b0;0Ua5uMF?L+Oy-EPN-L* ze%RS|1_K^b_h8!I-7Cn~4B@du*NbM~!IE7DKIuC8X`6*duWL;p8tI>Z`pDbe`_8uW z#3xYO&;R$2uMduQbl-#O|Ne0M#~qFKOK+k5?+w;J_%whWEMNIJyM6S7Q{T}K+lQ}o zeP4UvzdP95+qV7sjj!W(4xfWQFff1h&OwLH{QNr~-7f);fw<@EhGU12rcaz-K`nNg zYI#5oiy%D@$m{*@970xn18aBxwH2#xeJt5?0JeNK#2;U8TeYuh?0ZynQ=En2+{ExCm^+J0ABAEcZ8koxJmM*Va_`Nu(Jw z1k>=z(yN1`dUzFN*i z`^q;IQO%Tw<5xZrCOAj_M7?50IG8vo_%6C$d8v}gp_}I%3=zF=Bl2N4RZG25@6-qN zi)yP))leto?s`j}Dp(8PGEN*rxROf7Q6EqD=I46Jr_=$T*TCsl0{QC9?wOMY{nVi2 zomewicfT_}We^SDkQdq5`J>^;6CW5#p#!ruQ+o)Ip1C)CfHdA5Y+w3-a7uAtzV*SN zLUUkNd@!UI9iV$YAXMTG%zZBm3bzCFPahD?uP)iM^l(8JuguivMWz0`nNw78p89!) zvUK(3<}5u|&~=>|y24c#8#8rkQL#SpwGuV-_Tk~dPg*CE{}RQGn=Z1u;?rx@a#TjE zJ1M&5EBc)&EAs3Ga-ev6_wkh#ip$!ceRDhjl&1MNUTmy(3g~>(BcdzKkRQDGXr?Wo z^G(Qzt~e(@@nVC1Dd6(44FJkB&KvK{#`G5^xTn6h3bsmny-2AQMV!6{Yn-J<`$QR$ z6(xDY*K7i*G~A1j8&bmQYdL{b+U>^Kllw){rco?c45qxg?GlQX`XR{9^V3l$$9rq~ zN1rBi)m>eCK-hZlZV#-bPDIyHu?2{*J#1m+x)cULE>sI33P6h9SN6zq4U$qeB1qgE z#;}=9jgPYHmJzm8RFgoO`$^s#k})KA@i17)5w){(hLNiP>1s={&Js@qqQBK15s5=EW93{z3p0gTgUyTmVWg#=BM+xhW0LfL$T(#5(rVeLS%k z+yB?TrT=*$5U07l{Ibck{gULg+)6cecibdsQp zoeOjX9DemMVs~#+fWz1{AE*HJr~t$7-cVX=8vctdNOvq};(xNjm=}TL=1*RQM=+;T zc-$BPoyiIZu7W7XY)S?k&1+6MBZxo^vmG7O%>#Ecu5<_ zrT{$X(USrwM|`8EfQrEL2XqL;jw{g&YpW0byX69ha$IDnR_&Hcj$C2(J761I8U_>w zLG;fJZ}I5HmkzM$L_^J&Me+zh;y($EATVbjObk$yfo)?A2s>>1icM=?-CHwZOyt$+ zC^8hRx`kJDI3WSdiny3KHV>ncE*4 z%k)$=iyUo1qnb_^fKdFxafc7Xv+zmALn5d~&uBIJYUEJ7K7(^ze+H2$aYj-H-} zSLGL|i&q*i;BNqbhYgo!;6LhZuHFu5&HB6eG@EQ(uDH`Lox z_4Y!&?XEpmZ&%gZaO>^r+T*RaSKU)B^QWUAeos}y^0)DJb@hMfPj?OfbRVr^-H7sK zK-umwNBdAOfD7B9)Jn`eti}ks#hX~Q+Rt3Yx2|sez%VkTelbAzpw6`Md-!kM03bac z8E&&$sDAH$9pFOT#H0YxcxVhpJj1k9{dLTNyayC?jE*mlImr>1zkd(Q>p0QfQt_Gf zQh$A`8l4944ZG+c(q(^vzdiW(RRdqX15o@b;EO;73_r6#-_339E{C8~@pOC|rqV`- zfDfE&9S?;Tg`0G*M$i!%p>Xw6D1?RaLIQ<`5{)0sKGyz16h)E*kND4K_b$P(`)m%7T1p7yd_cWW zwNn9nePd8_RqrZKxKhzp_f)g-`-TFM`jY@c4gbD@e}9F4zk`4G;NJ@T`xgFf2@`*Ye;e@c3H*CXV_r4x zH{N~waSW{Ea53fs#y`|@=h0wXCIt0oM0n@mMG2H(dhN8(3m{@if4?R<~8h`y^Mk+o7nvoae^C^wG^jdMWj z&jl5(8Ss=eUm&Sd;WvM!`RHAV_)1fq`Vd~g%X8S`;>1v6DSJ4Hoo{>c==gAV|N9?d zokbR;hDVKbrlsQ-q3SJ4jW#HoVb%{OFf~g5Zh9&$waF=sKQ}9_n~MPjaCR54M)&qW zk6CF5CwpHIug<5Nn5i4;un^j!O%ZAswJ>)d<_*g<^YE=athkl++!+~w^!#9m9 z80mikjpbey#ZaJi@i&a{%bzW)9+8fk8aPFSx=F z8a#6T`!O5L_RY4udH9guz{;gubrCg?!l>cP4Ak;wE^0=24xI|L-|IdCWdJqttn!PV zdfoq4cy@Z7(}I8Y>}zWSq6qw{S_5i`svBrKzCjhlCcGat$Fu-38@fqkVOBxqQRjJy zB4MdO_^Q|CufAd}X=$RXN);ZODaZ}OSr|F1rLytZ17|FPQb-ktyb93LAzP>#&f zI=A`BNqH+*^L0ohbHBkv9x|ur(T`jSOT++CYy%O=YYIyVukcx^B);;$>Cb#a5v={M z*cah_H5^T|bN?%CJNU~bX+P}E03mP9ynyN^dL-VP#1yxAhnc0*r?>$oJz(%pjuafb zxee@I10Ly?bGy?VgMVE+FEM0B45pbJ(LGC(=>&_Ta>q(=UBmY=<8X!8if_*&oh+Cy z6@__zEvcIg0i)4se=i{Gocf$>hc_KF=1L{x^tr=zTjm#y3dE_7cP_1 z;+T3c!}$>_zr+y7bo{VSSFzO)n4d^^7Re|%icGveku-IL9%#OUN2?g5A&O-oH{zra z&W*o*GMbLdtMovpTsw>6m{UaZ10cqYuCYd!Wduh#x1G*Mis4xFt3I;|ui%G;hQMMBsq-*RCH|fy5rsV&(D8hrh%fB$k^4BLl-8%^{e#mKH<@S`A_T@}&}k;}3zr=v z{i(fWq`RG^P-`5y6?X7E7>{({GZus=1`I-UrkGeCEY}i{)=D)V`R|=yAPZID2z z0@5#mV1|IOr$g3~?Ils|OT(u>%?*eI?5+$%eylfcP)k&S z+4Js-8Ve&oF9cAYr23mk7yn>kn~ zK}GOZpmdVmWz~r}UdQj_!^}O+PL)GnmD~Yx21p>CtUU`eKxRi^h<0>FMEx`4? zaP)Mg{FHLa=)%R2)zCss+pOFpZWEtc7-}2C5Qa_jMhb3J!eHZLY)J*Q;|1;eKs9R% zBE(&d9feYkyZg=7iW{9<3Ul}BEDZcGbACAbMZ$f%74R|;hU%h=rWRe32Sw!S z1~p#>DNVImVdP4Ce&UxmXi*7mp-CUtijN|qsJvOje#B~d&ie0j#s6J@P>uiCeYAeJ z{`(xCLi|Tr0^*as?W7)Zvpc{7vkbfMn|o%u#eBilMDMOgANBvOdC273zDWz#EAv(GR8^ zwNeW??et63AD}ds06B~VgMOlg1*1Km+T|**7$p*hTtA&@u}W(=%7R|tSu++)C*0Vg zfDx)*FuGuBmf$e-7;Saos%G5Yw^qo3Wq-`g2&48mS@pg|x(kI*OD6Ur_tkx_L z)`Y2CI)2ZGTtipn0Fe}p>}$BnorN*`IS?NPSxOUJ0#oM4SkV$w_%91>#6_-w>IxB` zvPKI;XCx`cE#dNJZQT}KV;1Fsgao9;d&frnMw4p84f53pN~#ffX~Uj7j52pif{f!7 zMId?-XHh6Dtp^-ln)*XMtc`Xy1UUAeC7=Mug#3uNyeTp(HBgwN>qPggUq2q8+HPn%h4H^J+=sRQ)*oa1kF~q}zn|w* zu>WXk#L(ZR$lu?E!AMT$I@*o{1dYdf&5q%o1B%~4!M`zHSu`53UZgo16lpAhrAY5* zj^baCMM5%D*wmp;ZVCD-smuAy-?bcbt?&Q&wM1i8MMIx(U^_kQ$Ywtsk{?8*iCy#?xcE&s zHokNow%V$`J(=LLF2J`GVer~`lnGEFU|rwYx{%6V%&5aVdgfp z2y`BfCNq$W(-B`i3kIq_6-SoD#XO<1C-oLr3kct-KiFYG?XfNq#6sQWw9lblM05%E zJ9(ERcN0rhF>}+Kch~|)R5J6*?Z4-|1;m7Ki2apNgf^hT$Z>e37hA<{T$YSk!a`Rj zw2Y`Grk_4pIpO>YIq1$-r*1GYa?>V#6hxm~=NlaL&AMvRHJvoP;3Aw3%NzkG_p~<3 zX_(Y(lHxqQj`^a(u$U~*ZAP>HoPyo+)*0{!m4;k85pYs(@Sj48EFQ(AUh%YBl#P~8Pi-b9+Ij;^zw7_6j*q-8{uzA#`E1q>aggSgIQ z=n|Hl1%2&mB_BKa>Q0s2-rF>=@+n-VX?lsP-yeh*_ld;1977VW6ffWC;JX_-cwITx zszjBCw=Ge4$V+p9EC(x@iE@sH*9>P74n>aOg~z6w-Qzxtqj>1&h$$ejPQ9!nH0u5c zINf8@z-*Dw{#+DOV`WoBhbA@BT^Jj)F6?M-SMTfmyYjBeC{DUg#$3;Y#^kVyLpKQ` z2Hb7-I48NYc|w^gtr0~T$uDMYkrWb4QOeBJ&G+ox?;?IsY)1YzsJS74fugHhpvjjA zyt0v^BR@8s#GtJusOJcjSH*HO+JxD?drotfN$%~2EJl7f#l1;YC5Y|3Wataq;^Z;y8D8}}l0Md08hRW#z1ak*%-T>(qoq%_x`;XAr)edI>ZJg({U9Ca z(5ww$L_feu6;GuG7{NBAUAU3nx$I42V`}!QA!2P7Uoy+4S0qvW!cGr3%+XA4!I~P>o$l<)3JW(fPg-q zKu^<9uIG~eYPLS13kM0SA=7_zt@lDRi@k3U-Szq>_qyU$o#|%xhzQ=d7zbB)2nIU4 zySlnM10=;I=A*~-_= z{y5-mglma`|J5i7285&VDI7%98e5XfosfGGJ)@hOC${<=Jt}h>Oqq8u%mWI&!bt@`I4PhGkM10XudXB#isl>MRW= z=dwwfRav38__>h@9>ApAN}=SNO;QXx0xvSWc8s`dUwvUpv-n8-d_}1TvUB4rzAeJX7 z@9*Uj^h%NOEGPBA%*`Q4tO>98c@Fs2Tk z{l6m&QX$^&{#b|6$8S0?{-jEQm7niJc+qi+IHJ5&ND$-os*426sc%x(ID^MGv~D3gaV`N!+1uj(~XakI%J zwFVXJO1=YNPa(3p(>po_x_1;fZpy5tlP8D_BmQR|=DSLrso5~pX|YkYFa8kr&l9je zc{cd^54A6nKB&sRT1ns+l)w;>2m88J{C9~uY08n_sabB^CJp*ZK^3KZi58%?Gs#Ne zuf=WXfV6uJ|FeN=y!J)sKBLfTAAp~emZYA3xn~cTs!wStyn%D zluRMXqNDci)|_)cmGz$$;9IL>{`&91WB8w0|2=x#rTd=`@6P{zme2irHFXaxbyQz? zxN#h$_L80)$cygPfx5)=X1F%MuNk@l;g5?EY9I>gMY)UCNIH67|IgHeZ zBGI)Asf@irz%h<#Z-mgeVlno9|eZ{(6hLiE0t5Q2c^28NV-@~fl(^cmL5~dFv2*y9#dRSTuNW%{EGreRsx*aLrHX4k08I)g{sle z^ryIEQ~AI;In`Bf&IYUZ@Q91VLrjKr#RN*sDquE5jX)%E7Y7V-02{(hX69^ZKF|h@ zPxBWUtZ_6Q)&C*d5_#CX*dn-JTHa2mkhM00tZtbu^JeXa6nERI>3hDmY*V_}mbnmX zmDaA6ev8g%c{s5C=^QX`)^CqD-skJL%(J-=>lLo9FU@6Q^f$lMYWF|+;*q(3bRUtu zN<+*n8wV-+zR-xgPs!$nQJUrKAd}b?iUMJ0YRtEfthaZ<=VTNH^Q1F@r{O5MWHT4r zVsa`Af*=hgXQ4igD}DrW_ncE~1jk2LNu#(E^v@X=dPwQGAwim})3^ddB$6K5xxtiT zD>uP(O~+_Px7lwF|Nk2vA~ZK^BZ#f}ctKq*SsQg9L9uzIICbM(klhz^Ut`+F`GoBq?aT$>bdB>tc8(XlKiqjf zzZnat-2ZMqe<^k1TnNmYI2YhxJ|}-##L4ZW`6OaCp1A;&h-bb$yna5Pjn5ALH1|E` zNSxmflpk>}$o|3n-hOd3|NYVad=ici7xeY^0t5$#^P8yC9l~%7-Un)z(&jA~iIn~j z3P{>O9Qz@zbQToDOnVFPVm?HnVCpxn=bMK~!tBI@Az9R}1bkWS2aIG^D^ZNHiefcX&TSF*i3 zU+bgT%patHK&*^i>np0xZJvopjKm<36{VLz&QB+kFvUr9MaPC-9?70Y0v1dO z2|4K8P{S4}E?;J0#Nf|M0b-zOTJ1pXs~y$tP>orlighh$fP{A?2J_+4sK4Z-PN}Zu zk4K$Kaskx-_w)7Sd_9aY!RG>SvdH1xEO?z zMb6hdm?&#LOZFB3P`bATstU6V%?IJ!M)MoI7|r1lXr3)#y~!21Kx6G4%x6C4Pn$1~ zi^qgb6}iA5J(}M~lpAs`ge0t5Fo5REz0M6epDo1NWoX&?`1_LI`l0L0g%nwXe zFPZ3}NqiV@GQ}_%r+6ri(gM=OI8H!Gq3Z5Cx}|gw2%Qy3e=$3dKo8sQ`;SKyTv<%#m_|@iS>UPQ!kPJKG#5gMIuu9~5^y z1$C4eqvTbTSw72MJnR*D`n3J@=@xk^kcRH2!i?Z}&6$F=AFsQ%gJ`W6YFe8W9jvIF}-;bb3G&kpad?E-_kH)>I)V zHv2U~SUHp#lH)5cOZv`sSunxOSd#F7rD^+!dX}i<1h$37(&B*D6o;>$A0Hgjijh}^ zRz!{uUhY1(%OGBY;L1=|f4IWKRUEF=a5Y9NS6-cxnZ+g)k7FI?o(wuN4JA*kP6I26 zk2xVbuby}@!D|D~d(PH8=P!41&ARDi_1JgEw=*91cK3J4xPP|uJ&aCqob0}+iTgra z5a>r>R{^;LXiZ;ZgUlLTWLSamLTa zpTWddzg3^(F@-k_QaVvONt3~pgT;uO(E9$w%@$?aEl7Sf0Pd^)2smuc7PGUF!q>=2 zT$P6TG(|7vC7!6HFhJ(+2)*tnXL0lobYsdzX4(_)hpl}%&OShTIv*>~%^Txp#StEgR+6EaG#NB_YgF-;)6O3g##g$5De2dtq zJ}k=D2Q%T1_;}f0drAoa*&T@&cLh1QZm}qxqeAy0{@CW^$aLz{bdT-T%ykpf5ycTI zechqx>z+{TpLhcwUaK5WO4}$wnEzM~z48%o;stl8%MGvdRW+eVTjCU7(`nifo(GTV zR+aU}au?zW2UvZk5uU3gy3su=6qBr;r?4VybLGfdA+iCi5>xHfp>gsJ3ALg-t1x?` zG(Pz_sZvihmTzu<_*GJKRgdw>sK-H-Oz9*UO$qKu4a8lJQmLmne15Ejr45e(b09&a zvv3^slMx+c2lRZgcZ057q7Ry9pbzc_&zpC6UrqhO*JkzD^#eOQhx)c#n{O1Wul1&| z0|T#TpeNIWdB1cmjak(cFWxcOI^SrkkV9bf4)cHj^M7_|0V=*;Q@>EZ)C{c~=0dTL zeNBqA;!;L$>2e#qrdz+bO`f;&*2V@tZc+Wh5uT}N{`6vZaXI&9zh3J^ZTQcH#i_Tn z@TpS)nWtg?OkWbjDR42%af}L|T9y6v*&ELC;oFs`8OsK43GyZ|XqZ;9vY8)qW7;iD z`*a%{fLK*Gi5F7^qR98(zg{Z}MuE%J)__CW5F3>3v<5NtK3(6O;02RhVu}QKwj$sw zNZN?^ai8AZb-^cg0epCS+3=OeC>wihjDApWnlL1r_i#W&>RyY7%R4k=erQBwv?A7!WS~k8UNSaHqvA& zG1QO+FL*Ujf!+#o!AR1I=bYMfNJg}D#Alz{#Rl<-o*DRb?TZmgqcyggJH(tOlWk5a zSULg;>2@yKU$2{1aitYVtic7V5Nk`Au{@LRH}n(_HPT;uD$1U9;-)wiRB0cCTZ*mu|M9p+?kk7w)2;p-@o<`oNI7`+}Q79uoRS z-jP}JG>WvGQTtksrhWZD{yt)zTt;WYs15Wx-vXo5A|`JpAV(*dv$tT-*l^yGg!q_<`kCgmzrJW zWT9DC!pM(OT*x%73#?6nzk0MW*+Mxo8bCC{_GBX3s|(Gtn!tdG1JXVqcC5Aw2gjSN zMq2V^y;VVTP(s0I*4oZ--Ni_@_rI%P`JmR@?r~c`mbsqIVkP9=EYyczu$ny0@9f@T9osM6hH9%W;4c}rD$Z& zaj|DUs7F48FQa&xErS#N(ACcN;(Rq)4kh}tt0*7)P#)v?xuwW_dGNf7^MBgKW5tLQ z6$oowP$AVJx^9np76&dL=&sgGzV=GZ-PM~{-St+z?pDp(>0lzd>A>uJxSE2`Dubr7 znuCc(?cmc1MR3#+TJ^&~uMBUxv4iUi8jB36M{p6+V74vq>eH|V4y>7m7m&9!Fc)n( zWWlhRO%@Kn0$l)odvpQz8HDKpJ&Uj%Ll=+K@>sHvGCUcWhTt4v9(Ur}Io5k&?ufFm zGN1%84jS)JS)aijIoezjUwy#2@=X4$n_*)&rYb|^BdY9rs$6rcti9l^y&H|1xk733_$>{Ysvh$b8b~@@6qf z<+ahnMUwjK(qtsXC2k>23uS15lq?uUi>jMDc$aIgshGb!Dp4SQjjA54N~t>}eK@Kr zZ~3n4F00f^^xmX~q6AR#*f0-P!mA0)G9kWdQ*z%kyiS`>`|s5t8V*BD8a%pI_k1LQ zwOQfZhZ#yq7x45cX3WfT^z}aBFKZlXkFyQHBIFD zQbYpZ{OfPaq?!}Sq01&fc!lA*(DOUf4xlSbn&s$>tPF;uX}_O=CK< z7Y^KWe8LNl$)a5ire-?7=QEw$sw=o|ZYncF*Gk4p(Nfl4NTR7}q^{j=VN}Cr+dh#8 z_DM_kzT2LnPAKz|PACPL91ip_Y}rP3eQhaHQd)`5V{ysJf9bFCOERe5HIKu+~22BN9Huaz57A zp&mUhIQ6;=2*05uRK?YY;3mtuwE~P5F0)$2tDw4u;)W4++IOKjhWrXcjtW!wdgxNc zcC){PX(9#j(rBqUb``y!7|y+L_%;{&i!9gj=siv2DRN|-sd&Y7sUpXzE%JKDS4JA6 z!<%4xY@`+4C_1iugTfpZMe`hQwk=b*6RGC@6nWY)o7s3&+f&%t+B8|grdQ?kIr{Un zT6HQEtpK(4sDo`n1q~fDGj$LrjEhq#tLJ^%gT=a=@k+PVDjo{L=hzzKjp0jo%QE9A zPYcW_9I|s_NEoHXS7mQ`*e&75d8Ti(>RAxub-rrNmZ_;s@3cQS=nqSYN<5Q;N zA8(P<>qSsq#ZR-USaLe{)NgRVoQ1nv#_jKol5hEwC|%seYb|X`DD2ALI(FY}e5&yu z-GH*UQ^$h*pX(3Y{GXiv{o#Yhckv%T#|O+mn>SoKUd_wI=|p0zB;}N-UU`r1A(RqH zQR+UOr$}9~HDi(?UIe3PfcarmT_dP7zF>42TK>MO)mal<AtqKNd7|8 z@3m~6HntC!7T?v*vf{f`{}ttz7BTbXw@LK2K2n0woL!==rM75IqH~=A5}k3C`iHu& zl#5bZ>#=Ii7Ym)}k3R)@APzbSKW&xG-YiZUIw_7|ys3#cxjr4fu|@wauE&jHZBpIX z5w4w&klndZo`HQ!W4a&|G^SClU<$4YyrDGqN!p+QxA&GA)gL!(yR(O_=_b#(?JhZP zyK}~^7G653x%5D7wiXQ3n~t4l$<-3df6?GMO|A-Khlr@AK67)I=?1~$VuHc02dd>j z^a+vtG-=P4kyLbCxV?D8$zs_aMZfM1CRCSAMJ8z$)$N0B|V`ls<3j6^SwJG*`QWL#$dauXqU1Mh|`*%6a;{j+z*9N_g^>Ny*%`s2F~9dXX% z_1o=L^Lkxg_eA8%UBA9W*UR5^Edu)qs@93bgD&?yWg!&y!a~4NtY^vT=_s5vt+>;g zI2&&``Bl+~+wo?GRjCW;zL2A!q!pSOd*R>bFarkyG2|0Rz>}@TlDZsw(VrUYiP|+4 z=9mMF88_F;n8?IvEm!5DUO-$=w&M96u~z8_{l#dgy?N4kYaQ|*(jTAR9Xp?6d~E%P zjE}8b7$0~X^fPqHxBu2X0ua<8-+p?3(AnP4&><`T_8k%p*+_e$Vm>3Z%4dP_;mW6X z6rGL!3>|gv-@c;|)xA&Ykl)%{fBT>L`#;gG)UhD{bNBIjW&h`K_tD+{&*%6w@q%)7 z3kV;YUuNWGHt?}Nkp~YtHM3vDn?txGv(F(e)ijd?(s+QgP%sU3BrHr0cArPx0JH|y zjXvzQs(10folXZIJ;M?bIg?69fDQK&bUdw$4oSEgp+{$vE`pKqpsRxa0O$+`Q6IxI zt{O=3KhK2h()L)BqfOaZTTQy**>b`;V#4Vp9$jOGT}sBls_WEgN1OJnRy%Fgg?~=` zPN9WYd90#I_d9f~S*VlR1s68$X>zL}6tdwf192Xfs?250FARCk49yS8VDx*~^ZuSEj>6Xru7 zjU-DlW*Z?iu^I(9&0mJ$`>bP#VOQ@0FP@3xM9&}TvaKYsAA(*F;;cm4laKKA^F%-x_-aAKQG(@Da4eMk-IJj@g!RPyzx z3{OpiGBOuOuyiq1vq`43v;U*YqO&;2rzz(6#Xv}*EG=yEYce`J>d(oPrqBL)f<)*P z=R5HQN4bVC*g0v)!7NMN19Ie`$zaNqKJ8ja?mGvJ z7NI8UEQZR-D0VH!h0V`(;;@j*+t{y>4&w_LP;5iF&QAG1$W+q^vJhtAfyE&5L(yt= zBCUpwQJW`FeHu_`?&*X@pWsiVr%xya7{y|xoVi8jPDS34c{r{}?l72A409D9jYN&&m;`LTUS6xES7%kw6 zyo>lanaoGaqOY!&#K%ED5v7ryHM5RbBt>RZ9y^A*&Ikl)MIE5HX*+m!?~+0ZP(#6x z2|F#OXFHdw2S)MgsI~YUqedASh+@1m7SagdXa5feX#YHb0ncTDC>mOHxrOyGjLouw zzD}kM3C{c;gD0aL$mn_&_Jb+U0(7P%4l*z;2VovWBe^*PBF8!}yqb)HC~hkXzMBm7 z_#lJARrn=sPir|00H5Y!AQSO+S=v^h)6Ow{9W+e?zzFUbJNxqdS|tR+X{wp)HCj?| z2!@W!LZBHsQ*4puQ3{NCKxJn5M%*6`mWBO^!RWedlX{F;va$%E`X!ZfdZ`)0$D=$6qE#^Kx9R{ zHuO+0u)1j}Q}=YcIPopR(}V!MpODj*b0cP@^x%PnP(_vmnK^c4dcMQmv8m3JOB!!5 zFlfeQ&5%%_Z5~CskKq9$86+@A=xGpy045X)Sgxb7TL~$N0yXjo*%F;u8PH_TWPt<3 zY_NhdU#765%2HSYHj|4w>NwvEqKH?KMa2m#Hc8yi^L(;#|2~-7{r3s*aEN(1`>Zq3&jJj@V)UAEesBbNmbj}c9;i9L2BhpST#07%ArX6$Ju}LDpX<%T18TD~a zhh^kwfU6t2h(HE&!NB^h*Xh63XQuz>cD8=#v(W$daE<&wYikc4u0DQ<{+~yWx_ADc z&+#ewe`ug+!MC;z%mV+mBjE0H_qqGreeOPYpS#c9=k9a&x%=FG?ml;)yU*R{?sNCK m``mr*K6jtH&)w(lbN9LX+= literal 0 HcmV?d00001 diff --git a/topics/week7_untyped_evaluator.mdwn b/topics/week7_untyped_evaluator.mdwn index ecf5fcb0..6e5480ad 100644 --- a/topics/week7_untyped_evaluator.mdwn +++ b/topics/week7_untyped_evaluator.mdwn @@ -310,7 +310,7 @@ In later weeks, we will see more examples of results that aren't terms, but can Getting, reading, and compiling the source code ----------------------------------------------- -You can download the source code for the intepreter [[here|/code/untyped_full-1.4.tgz]]. That link will always give you the latest version. We will update it as we find any issues. Let us know about any difficulties you experience. +You can download the source code for the intepreter [[here|/code/untyped_full-1.5.tgz]]. That link will always give you the latest version. We will update it as we find any issues. Let us know about any difficulties you experience. When you unpack the downloaded source code, you will get a folder with the following contents, sorted here by logical order rather than alphabetically. -- 2.11.0