From 5fe4a9a81d08d8c8fd7b2f23dd9cfd7b7ed0182c Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Mon, 20 Sep 2010 11:40:47 -0400 Subject: [PATCH 1/1] minor --- lambda-let.html | 2 +- lambda.js | 2 ++ szabolcsi-reflexive.png | Bin 11120 -> 0 bytes 3 files changed, 3 insertions(+), 1 deletion(-) delete mode 100644 szabolcsi-reflexive.png diff --git a/lambda-let.html b/lambda-let.html index f56c2c52..8abd3501 100644 --- a/lambda-let.html +++ b/lambda-let.html @@ -1,6 +1,6 @@ -Lambda tutorial +Lambda evaluator with lets diff --git a/lambda.js b/lambda.js index 4b684f4e..c28a0c17 100644 --- a/lambda.js +++ b/lambda.js @@ -145,6 +145,7 @@ function stringToTree(input) { input = input.replace(/in/g, " ) "); input = input.replace(/\(/g, " ( "); input = input.replace(/\)/g, " ) "); + input = input.replace(/;.*\n/g," "); input = input.replace(/\^/g, " ^ "); input = input.replace(/[\\]/g, " lambda "); input = input.replace(/\u03BB/g, "lambda"); @@ -158,6 +159,7 @@ function formatTree(tree) { output = output.replace(/[ \f\n\r\t\v]+$/, ""); output = output.replace(/[ \f\n\r\t\v]+\)/g, ")"); output = output.replace(/\)([^)(])/g, ") $1"); + output = output.replace(/lambda/g, "\\"); // output = output.replace(/lambda/g, "\u03BB"); // output = output.replace(/exists/g, "\u2203"); // output = output.replace(/forall/g, "\u2200"); diff --git a/szabolcsi-reflexive.png b/szabolcsi-reflexive.png deleted file mode 100644 index 8b524086ea4e2b43cb1fedeea7e5e2e2cf8730bf..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 11120 zcmaKSWmr^g7w!fWX_Zo>Ul62IngKyd8l+=DO1g)J0R%)uP`XjNo1sBMnxVT>I))rz zIKz9c>(q6=@5ih?`{`KEz1F_h6RxHrM~L?V4*&o{1^Krc0Pvs<05Cq|V4_oAQQ}*n z9~iD0a#BF)5Y;yN1=mSl&lLbT8SZ}=o;eZ_bmAj71!b8>v$({BBrI8{|Ih;f9iZ^` z&3n(;{e`(7St7L$hh1cD@3zDTgh#`<_2$RylN;rTaAeR!S@#zC{Z_4ZOu@ zkWv7}V6H3)06<9t$S}}tV>15#1b0&R+RrBd@PrOs=I@}-{X_o417dVpjQ=Vg$fJw= zKO*;3^=TU;O;q<>fEOsEBp|0t6#&ZF7^1nYy~U7G6|EWwlBjM5UwjO7e}VQSWdyhY zog}6awerg}zI5D30Jz{^rsx4Z_Wu2a!ezwd+*2&IOVVVijbzz}7T;uF`_n&UaI?>Pc};tTeA}=wH0I*wxC+@zlS`j*N6~2N zx>{{aD1|BBl$EtbmR*&VUy|#zG`G&Mph2=sP1`+b+iRcSQh%>x`)u~WgCIJvpiF4iBBvX< z-%FTdu~P4e@w1ctDGk|>$5wR}={W>Qh1Fw~f-Q_mU}?L|>XQ9WY#1S?!TBk}F3abvUu;F(XYSW7TIPJ6 zP@?9CgZ-nAj{mM6lm`J6sXQ7kmSZoiIQigSmbTAor3G5{oDBU{FB|Fv;gM$^7*b4G z=}I;(SC1OHepE8Ixi(USFGXL+FCZzq5nKBR_bEdzNhnn`ji|2z+{oYF%GGhGgsiQz zE7F!%5?-WmY*FEVeAFKhsjqwBqFJ^0j{rQRXhV(h>4`bF zP3=aLwMP-A$rOR`R&5BZP4Dm^nY*0g%L5D-C1Ts-*>GHG%iWi*s+$F+?gxW1gTYpleG6B^8+3e%~7*ISD(w5`a z;sBrGa@60Hn^Fvpf$ezKKLhNBiFx|UI>;9Djr^q@ zvcN~gdDHZbr)46uH3&i#T$gS9&v}Q9oplaLhMc=w%b3zGM!T(Fnv0p4dOPD&Qt>R^uuqK6i?_p z>X?!u+P8XEHl`0P!j|2~FLoKHVWumURv)8m%0PH(Boi&6zl!4)Iqz&t6t!vx6EYqf z*40?1H6>F&vUIFS>p&Q?xc|m*(i3YXV)C!tQyxh$h&%bz(@T(5JZI0s7ssi{aIs+2 z%EE6`^2p=4se~*Y2DGtr1kq~q-KLT$VKcWTCR>L@drSx1IPfdsj#Z)E1;rYaWUYna zM4h_cmw2N4`%0q5vtVM{0_WQ%b~h&(ky01wq_d2~afBpbvK+^=j+ZFv!{-bBBDd8i zP}2f_%6kY~_Hpx+gfeEA(1MnUTb=#hXr+KWok4{SC!PYW9)5%R(-c(Xe`YXD*|#hhVc-1(DQvE3z-hytRdxcEMw$olKyV-s-QJ1E}MmN4OZqKc3eRZ0T$~^r&Wty6|Fz{{-BhGoN8!YB=M$ARSP7yVa=O`s$h8SSm{6#rD)+;RrTJ(fjbB zyq_+*Mlnx&=GB8D*E)~toz57T6NG093)vtzC@LieNAJr~)i8wf2`Ens1}>0DgA3Mp z%B2n|JtzLPdGyG?YRtUVMmB@@u*$f1$LepY=t&to-EpRg>0rt)z4b$Sk-j(kd~QpQ z(u1_09DOgGIY9gwF*wBFj;v$TkuhHr*1va8Jbx1n9SxPV`8zcR??T!>QE!WOM_WI# zMnUH8WUYMQ$1(O&@^&oEgoJT5BMl{3Tz0OOg~bJj+q9eqE;aeT0wWl~{u3ils!3wB zIE_oj%#ayxmGR5!Wpt0y_bU=YVg5%0&B>J=$8lAjp_9`5AAe5ZtWQxcA_&_5l%hmT zC%zi3*Q%OUg86esD0Bjv4!B=Mwydd#&}wv44Hc6kM%hxnS%*2Z!dPu`RZX}m>R?p< zUxzMu)?rPr*os&ZxA@y4)d!tvnku150GRVGoB<~`%l=}Or64h47CKju7r81T$ z?pa`u8cx4T)+aubV##q%vOxkqs3n;VCzJ=iMd*?Tm1N? zi<1A7Ijx>6(O2|EBM(3@&8u4aJep7Z$|UDh`g@-z8OoJWBE@bLvnk|0$lchvw5OEg zMd<~iFbRQ`{I(^B)>s!lyAouArcVzOVGjFGju332c*n5WcGUkyhED54~7s)|K z=M}c+1qR38OQQEgZrXWFxsLNq^6X2wp1l|KI`c4*cX$tS6nrS{1LW$1R!@RpU{<_&TgU$K}ANtheT_rI-qB)Iy)3b_P za_b5S8LBybeOlr_1sHd6MV_Z$Ndxqulz+LFY5Sta})X3~!zP)SD`>1)B>9tv;M?IGC+?o=HP46LC zMvIsFH{qwLn=%EL5=7A*i`tQR3G>7}#KNe~ZfQuBifjI#bx-A%WXY`=C$`P4=&N-P z(SDQzl79(i|Wumr`dg&T_H`TYWxineh+SAr{1 z>A^{(VA(CBu!Lt(h0}_uYOi53DVCOlPd!@5r{IejE5d2hOfnvv+5dFKPaORokkH<@ zw1bN6^!uZ_9UlKYw^oQ?)`0y*<{i2qzua+3A>C@Rlj_3R7WKGItxrhB%-`02&H zUy?OB3d;2!E#Jrl#O&E^uswazYfqLsrTrwa0 z=lrIO!-C2$q>f}*1}47p^3LHB>si@I9}2OQ$O6i0L75(>#Z5D}6NZkH8YweSUL(7+ zRxa8|Ts=8hTZ9Ii+Cse^*)6F+{{C9nVsz_U zTTFAinZffO>s5rz>%(8YFOK_dgch0pUSwdx2C+H^VuoLwktTTZR~Ii02gG?nS1w4U zT1xCbH}2W<_;jcD4bSoO(fWCL!+qO{4PHwQEnToW{7B~PnY==XQ{vxFrPsLC+D`O- z%WnEm0Wfs-uS?pU2+5{XX=-t^%10%&tmWDa!Nf( zU|t%=mt%qvIt6!}DZPx+Gu@0JiQ)96X=03R_09}Vgr3t_j&_<34s>^3;_ zJ2kG)OUNw$8OW!B##GhC=Sr0Mc(Hqz9=Qpt#b0hv56!H&*DUMp##{*`3wfs0QeSFR z&@)^u)c%xNEK1sc-Sj$Ti;P+?%(@jnFwh&r<>t4icvqZOVznd}j%3ZXV z>`djmb$@y%G2`nX_yzjo!X zjtjg16b3qPX|q%^mBGU_8C8@W-@85P8fCk9dE1dynldNhKI-+kaqj!9{{y?)5bOr( zpn}SxmzO5JxnoJ9RvFgef&pzMLwzZ+N@Ew#Z^I4Tb5TAY1leH(uA;|rX0}}^Zl_@h zOW-Ty7a}de?Ag2ogjHaZU!7|B;3RQ!J6;42MxFcdWc3jI86L@BC*hAH%lt2Pab|`( z4}7wk{e7P2dA_d8l^I7mgbY4!DOh73-Q55HeD^LlBX9D{PdR?VuiRj>aW(h}Ras^c zg5_;kg2lz1sP(Tif8yutYR37Zfwu9cNJ~4hlvdEZ`F4MFrpwhz`b%Mm@@1!05NCIi zXa+Cedv`S1GF=!kaNb2TZR_FlE3fVMKC-XAuc(WuI0KXMmbIZ@0>FvnWfUyPSxMVb zfEYpzS)j`Pn}!ax9&4BYNiL3fi~6IE0rKoSJQ4GQC@7^e0S z*cK?2Bg^idv#){M>RofFSE6-7a{R$t)KMv|{KOA>465B$c^>4-)f_O%&AjOrcG-%N ziVlT{Vc|l*y)K9Mru(;8`8`LoJ)$nHGZn!`!7);5IK#hN)0thfZ12>~eimVTd;}5C zYzWUZCD>D7B}sfG* z+F`er-uk~M(#K8Ym-J6BQXkY?wZ1zulS`=pYyOC<_&({f8`oG{JQ4L^d*mDJAhZ2k z+YegTxZQXDKT3#I(F4m3}fHzDE#FQicCX7Nm z5i;t-txW|>s14QvthQPTO z2m*8Gvaag*X<}6KN&SPx6;Kdk?Vtj+#`3opjp-~*zcKfo(Cub?603h+-KavaT{m^8 zI9c4(nJ4>wX0opuu@{2CZ#W|dS$%~qO7W1@{q%=R)*7peTktCM2r&MsQa_Bjxmifc zn@Rj4+`FA+(s=s??{RV?y}EDuH#|B?P70bY0Z3c1-P%#RgW9;Ro=&ze_>cKg_7^`@ zb*P)QDO12_jY#Dp?XVf7JW zXM1AQ;>)p(JnGV?%ogq^s^K2qU;`?;S`;ypU#=iB$In%Ern(MOe^r zA>}78qgv(|>Ev{XhII0FR+lBQ;PS`B525B-cM;5@uf&IF?<_%7l&9|x=4X(0y-~C0 zolzUc46I;yW>%A7ZPL|I{SgLcHcIc_-x#@A+$U$duTl;Ww*=$5x|GRJJ# zN|(@zvl3O&Ct0iAHOdVvwahEh$(a{_PZOM(K{L8n&qsG|ExpVN=TE#o;-RuF5qO)5 z-~*!>ZJCLIEV;4>500YPp#Z<0J#0S*h>b87*wx+3CQo%I-A25%FYE)9qlP+gZ+If# ztIMfxE5c)i$Wh;eK1o2F$zS@;p|2OXo+5m%)t!FlUj0%$<|@O|tSe5FQ3|!QYhM6A znL6P%-JSi(dfsY*5U@;{<9bKC+L!E3a!336SyW+dy*Yg

8RMy!xzzh-~p;_SFUayk1V;r8!V2i)(x;?g5<8*_ammF+gzs4;FJfR^4V z`QxDYHK@!zt*Sk&X_?cB0p5+2VwFa|4UNsiu9o+3K(bPHY=uo*)^5IiK8<|1*j+Yr zGJm!oD2`?B-LG-=;Sa+RD!CImn9ZTqMvXR1zhsWw)w_oC&?)L|xhfV_7=QG=hc{gSYF!!eJ- zG$$x?(trFQBy~0|A*c~f8Vph#7Cm0!#Hh5Zzfv$JFq(P4;Di_NfFuqxnYAsCF4yEj zxZ=Lu{@z>0l4f^4tm3Klw zP~NK92u2s_<9;}u?j0s^M}q8BbkN!p(6UR}ihs87bnx@(bahPTFKpxR(Zl+pIXcOm z?{J@9g)3A){5|N&s>aAq28$SNiOl^)A;I+rcCdqykteX+(7>9DO?NKHQwB*WyS0!% zD7udObVF$*2vRtL|E)Ulbnk++ER5nr<68DM3fIS)zUntvQ|xhsxHte1(^ z-@irrP1M~Q^wHZp-_58x zV4M0loCZz*Dmmo2-=r#5{7A4>C>KsD ze`EfR#2NMXw*dq9(J!!YIIQ@ls)aenH(L&ER?CTgD==G{ST#!@wtAZWbVw1uX=bm= z`CaUh;Q}|nD%1OL!utKSyTH-huTr`=xL`|8OJ}}seag1pIH|`II>)pJ0=5_nOjKGS zv10q)@!^UQ3(UlPtfsZsBeBc+M->y-kM&wd4+v$UKyNLDMx#V_^kKbA<{W&#FuqGY zNth}(pm%PtCYr3DxWhC|?{5cXTV?7^%{I{ut0c6^445_vS7d6kl($rv(2q&8HY;H5)yyN?*j%y`Q_c_}aw8JM!YrIxrJ|^ZW z6+>fHDkazi1aOkW85iEQ)jZez{#4#g(1X(;%Sq0U#X>`^K&2rY5u4}F2UItY@5q#l zE*a$29w*X^<%iL~6f1mA?I0w2f$luT z{85KjR-;(^hhcex&2pmGwZF?~V^%Prao$l#&T_Rc!Kc-C+TEj$80(Ad`7`BZlu2=a zFwotY%bVz~bBfZoZl13Sr7b$teZxXetMb*?-sqvs-ZgP_aIrjqQ{2Yp8;$LFxRv}n z_2c{kDd`>6H*0!Mjc+}kqBXTRUai_?#y^jj+xv2mh-^0~;+GH2vTJF_$2hEamKZv;*|z6_A(o4;MC|<#9hlVqGHIbmu4hLj9R>I#1D$e`)FeD4+l?I;{GiMB5^Y1rx{&?p`}S z2dBgHK49n;^Grdo0OjCS+}kJ6n#6WI;HyH^!;DA&?xG3CJ^LNX6XNckVAey#gPt`Y zl{K7*G?k;eR~J2Xw^;g>dyg8Bj~Yl6!?=&jQV{FLu@nP9rzbTe{<*0ln!g8nhQb{0 zZsq#I0&^(PEoKTxV+xu+AkL)cs{^2E&jTNPOrcceH9v^FnJTm4$8owM3I9I*TqdkA zCpu{fapgu!2x%m)zXAAnmhwEx`&z^{9=AHcM`+Un>WZKJWgV*yQr2zyhqGTxpDqI3 zHv^i{1V3EtI;40=2vXABV49Br@1j1f;h-n*z_TSWKvP;OYlx?7B1^^|_a^*^6nSkw z7HR+$L{InQsDgN}nRsKk++#X%nyDym-vw0X%*PBP2x4+pOU$BZ8l!;+6L*-kJ|w^; zbWmkp-*0#2tdEA{yOfqSdeuxyX?(Y;&1eOhFUNsZG!$Rw|Y2ZFDdr8TM z#XtbSJHNjR;KOjYPEE`#uDa^oO1ywv?RRhi*~ZQU*W|7aW810 zv>f7WN|kA5(yrIbQNw$W0+&-!^frxxuZca|vLv(r5sNE~-q-N9|rBzkosO zmYEbY=nJ$)dAkKgg}&@Q@73q(PUd}%za5vCDe_Re9d<~e0mJG}O-n%^f^zc=&-80# zAc?JvocEt>!gIG!qXX_Z$tr-7JA}+cGQl~0ShtnO`_tI@B}^&mdN7Cm`Fnz<5l!JR z@;Z8kXke}J>oz=l5KX_(SgAxIl)l6#IbWLGYxL^1ta9TBFXb4dlhCTfxPa>Q@{gzT z(92TS#-Zi|>NB!pRSw=s{_yLj#)oJeO)QOIA+w|9a!$rVtDwknzWz?RD@kU&6&=Ql zb4|0Q+spH?iZxtgQva}qZgI9?DKtnzOBx(3{BDDy)somi9&&0)KV@&Jf+|y=_@@Lf zjT#(`JBeViD49NdUTht;Z@Z3vhihsUiqtgxzDTqr^~h}xLUW6JpW{(qm#~$A-qB^w zZ5}bNKSU~{^cAU8mBkDvp6ZAYdiP2fN)1$@k^6qYKdI}}ZIRAFSgq(*aTLLNe#Jqh z=etT>of2Hrg_ScNmMxKexPFDZhXU0?!yN6s8y=xeHSX_=y+wT;x9kSB{lq)Z$|Ao@ zm=^7RR|HAIOIx)Q^3j~a-l~NK+uunmKdTS+s`HJNQaCdOm0X8nqRpN~eJzD`!_|T1 zBIpB>?9-z5LP?9S%Ek_cmkMfIl=$ktSWC17Zu*?ShjY+NstrstUxx&!h7BhQ35xpR zc^p($TaeU7wX|9de0%3?nS{BG9y)ZpY_hiuAoQx{ve9%L?S5{sSy2{NVpveqL5|sh z#vf>$AyEs(yX2kE#b>*t)MzkmYyPKCjG`@K``!vdzY^5Ho41fhN6XMJO;CDSyvTb< zg?3&_9FYF|Zy0C33oHWwZ_#&2WRtSxOw8`1l$X!FV);82p*ebBN&q@QV?IQey~woJ ziNgp0-x+166QADW_z&H;kI;{MsQl03Ut|2=#lPlR{*>!{mnKRsqQn=J(Pf}<1Vgv# z+p8CNRjBT5IBxOVpFE)$9{_NoZ@8$2G~Y?2#HO1qfs%Ax@y>OkvF}Gv+suWo<8h?= zRI=iwL$Z850DN+X3LY4yE7kMs;wgSwEX&*3Y6WG$`(u#i4(C$=g?gWN5suO=_Tzqm zS^r?7mnmq?b~P)iEQ-OO<~yu(%Zl6omdi1KlND=yQTyKD=c>%oFSI0Ar}BP!I7~l= zBDg{=YA8_|NnGhhoO9T)i(jNPXW>giKiyV2e+bCW+&veCsUaW!%{Y%rKFzw4D}!N^ z-g_&sq2AZxuvRx2`-eUT`6HS^%=16e5ji*)vTb|jk_vRO8%h8lc(DSkCxT2NM{a!DBqZbqGBMNu<_p*}$iWP0z?-lI7i2vw- z{qKx_%{1Mh1X>q6(O0XO?~uMAvZrl@98I!Rz~6Y9E_rAU+G+q_dy~S|N$&M+nvY!I zRtzxn!X^fw&mBD;D80un?hX$LQ5b6o1^d=$_kA+I;)=m`lVJeZZl=(=3fNAj;|65(~`IEy^rq;~)4n zY|&=~5R4nGKb2=J84JOiylYCoy2g;w4I#_a0;^r52}`T2_GOUch;vOJk?Gw7g}BPC zW4l-e{D|yrYi?$R>Gs8D|Hx3To$TO}rNv3voxZl3J}!C;!}S4&7CQ{1B~qo0#|cUM zzK28b&f*^|ihIh;biRIOYJJQS67g~VT&;w4xNu3#w~!ewQLU)%ju;g;dA%+$nGi(K zX6Z2Az9s(82)E0YBNn>zA0O5?aKaCsS=6v)``4mkj;abwQsl@yk&_V4iPMZR5e#ND z7Ji&F!cSFx6n=~9_dXL|^R5l-hA;WeZT63CU4YrvhDR<2d{3BET$Ozb1&)MOO|Z~7 zmV6Pc8mczGou}&m3Lkh)|1;O2J2YnS*U;3TY)=(Oy)j1dAON>5TU_EJ>8O4;bd^g& zRn!c=9oJ0&_R&9i?z+J3!;f@=#8b`cRIb=SO)1R+aZWkrZr|QivL{+hbZP#ln z2DFQuGIPCuC677G=Xo>PvA@JK<{jmaUoKsrGmj}hPjK}_-u&Kw+k205s;b6(m@MHX zeVb3pZ`E_vz#|Sj+BFQV?C?0{9ELfP@ZJx`d)@dfj~(mO_qX-?bl;|rq=-f1MLsd{ z^m)vlRrC8~bkDi`jSG6Ij60-ocG&mwK*LElhv1CVl`Kl>dlR0(4@F>kw|@ zDf~fw=`%)#iHm@5ElqIZvTz9xkmkk5{nXAhj^|h7`w#BngQe82X=?YtdQwrY?^h;( zo5B-924v2U{>(SQ<9Bi;AHn#aw`l%UDB+{mAE1-Qy#JaY8+~@P&P3%m9figcXt>6w zIDJNG6U%#R%Dul>_WAVQWe4ViDlG1yC&)D@@uxPx=OdJX0cA@2IuQO1$=FC^C`Wz| zq?ZWKze;G$L_;d=Jz)Lk@1Xku{HI%||5wI+=l8hq{}+1)5+C!Azw4+xFGZIC6l7H1 JmP(lf{SQyR;Nk!P -- 2.11.0