From 5382546e8f302d1c5b801d985d2153c2f83922e5 Mon Sep 17 00:00:00 2001 From: Eduardo Correia Date: Thu, 18 Jul 2024 10:14:58 +0100 Subject: [PATCH] Changed project's name to Recording --- README.md | 7 ++++--- citation.bibtex | 6 +++--- logo.png | Bin 0 -> 13222 bytes lambda-chi-brackets.cabal => recording.cabal | 12 ++++++------ 4 files changed, 13 insertions(+), 12 deletions(-) create mode 100644 logo.png rename lambda-chi-brackets.cabal => recording.cabal (87%) diff --git a/README.md b/README.md index fd823fe..3a02d2c 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,8 @@ -# λχ[ ] +
+ +
-λχ[ ] is a polymorphic λ-calculus with support for records and operations to modify them. -This repository contains an Haskell implementation of the calculus and a REPL to interact with it. +Recording is a REPL for a polymorphic $\lambda$-calculus with support for records and polymorphic operations over them. # Installation diff --git a/citation.bibtex b/citation.bibtex index 681d094..62fd3e4 100644 --- a/citation.bibtex +++ b/citation.bibtex @@ -1,7 +1,7 @@ @software{Da Costa Correia:2024, AUTHOR = {Da Costa Correia, Eduardo}, - MONTH = may, - TITLE = {{λχ[ ]}}, - URL = {https://github.com/Educorreia932/FEUP-DISS}, + MONTH = july, + TITLE = {Recording}, + URL = {https://github.com/Educorreia932/Recording}, YEAR = {2024} } \ No newline at end of file diff --git a/logo.png b/logo.png new file mode 100644 index 0000000000000000000000000000000000000000..a7167305df08957ecce4cdbaa8befeb103bb3e4a GIT binary patch literal 13222 zcma)jRahKNv@H(7-GaMIa0~9i6I_D3>jVoH+%pa3Dd{62A$uaqL0A}wqfDM}6rv*9 zSy53}T~U$2%g58f+07mai6cEUT}G`>j%L8hO!EU*WB{S}@TBCDvNDY;S%NO(EH+Rw z&-@-;i#mgpLbV69xjAGr*E3*ZglQyC_=w~k;HB@EPW+NfYT6&s`K3IC2wZ3FF7VyQ5VM=N61i~g8j3Ou<8TzfYO(nOuA>i zA^r?aHY4;T8k}nRnBCi+m(4)1gSX4H7B+jtW}+B|C~*NBH#aCT3pe+O8g6Y2gQc;?eA7Y(eLSsu9d~zR<>Yv;$w%8o zV;FUutyDutgQy*oNtu#*5{Hk2c*r|n%QcIM2WiKb>bJSzf~V@!pJDGOo={>AfBc5P z3k?p!CSV~GFvc2C4mKIr`)UEhv^m1})w`#%?S(*tAvE9_c)Q~0lN z@f*VYd?(v}51!y-e?f$ZQ;!2f$7Ds}G!h&0mf4A#uB!93{%KlKN z5V2=}`>PA3wSlo952>>OvT(c!cq(xf!HRsIfNZ?TUWHrL8toWcZ|K!79A1AyLX(#( zKCm-s&VP)S!>T`$vBfPuV60?Gu|?7@6z`e)WyF24{;C1o_1b?=`OnyE!u{b@rX+ON z?){IvYN#kS-HOb>!QDu;2LYkvw*cIim%Fa5+w+xA`V$iq<)Fb!>1aYqTQ7rBMphlm z)<`-ZjS%mE90Cz)spnuNc^uxbKGC=L+Zm*)O-2EepNn?~SLufMaZc&cJ zxb;J-;qOKt-kFyRf$v>EZz?{o&wa;&=)@riGJ&ELvp`^}FH>(E>k-?KK19HC)h;APd|MG1xxgni7Z%gy4(TOq+VK~%hM zvuDm-zWAY{bOi$?{s$)uc?L~G;jBUbw=xIQif^fH1xdV)!3Cq&7M(3Lw z9ajBX`3Qi3{A zb5LB{8lN61Sq>oPyuT=LJ)SV~@bFL}gat#%KN$)9Yfsk zBEc!oT}Phj_)*mJH)$x&hPbO*#|3{ku)42_VjF-Ql#nw#{BB%nVUrc*(L^nnvTgB; zGJtxSQ;EETkbH1OalmAK-2SH)Om|vC=D+5Hf~uJrKYs~d;RGaqLaZgAfAE; z2%Lc6x3eVZ%>F^tX_ zaJbP#C`8B{f^S#q?5IN>iNDl~!$qYHg?V4Tb=cNQ{OQ@yI8Nrp7dlnLD{Xo$E z{q^zdQ3A84&?T)|fIcvHsQ)fb3TJVI>NKrBvvW!W#9BPao|QM zyeCbIe4>k}z|z4`Yvz(+@C}t~7GZ_t&|($?cu`QtjziMo-;{F_5rfTp_JcjcKOqnM z-?Frj!jNw%m|Ng4uR1&vCt9L@7SWw%*=Jr%oFdJ%7JO(J`MBFzkPk*!9S}zPJ5f{f zdDjBy+71&x)Hl5IZf_s+Dzr7QA$;PmtDH)(L6 zW+*Lop-v|-ZTt%-6tz`BTlD)Q0?V%iO%9Y4GuP$3<1NSI8A6^}_?SrtT2pLi#=X-ut8LG6ZZq9j8R)Ee#4+fts(_HMpvxaJ!Pm)ozBN0)m$ zwGf+|Nsn?_*+^Hl&0KI?sozw6N)zo83TiBE?yDa7lMUmUG(qM2%20xqmVbt`N3FgG z336PjDcYyh-`DJ+tsQAEx2Z4UCjsqwwt(W9lK>M-%kN8W)5q7??knj4gxeN|`AB}z z>*i(iz^t1Qq+7md78)YDr2C$oz9$mGE&p0Sov9JGQY0D#A+XA@c7MB`DK+PpB3E9J z#vM;A(z3)Nc|^hoI$ZTG9$a|YpEOxVO6>lV28Utwgunh05=xTDqBZkD>Esa%&AD|T zPfnzNX*UI`WUwfz?$N41SH{o-yV)zvvsL`x`%c0`r6;)Yv%t2X-!guFh)K$p zz?4EG(F-&KtIV&@ROwt!Yx3h=J-N?evJ>QFVYj2H0+a6$#7sxWgtP#Of%-lo_RB*XkYxD z#!^vQphWA7{8(nEnYi!%JH2#=^03@MO}<)nfF2(vM4S^?=KquFx zn-1Y1kP&_q*`_QG4^t)IT3w~Frp!3F`>CiNNZCr(z{8A%k|elt;X%3dDDd4_+QGrW z({=v9sF*lsapR-u@%DW zp?ed?JHUsfw4BW$xTbPqipDW`s0{3Xeq|N*LgSKmoe1(TYh{!6XSlDqV|!+F`tXGh zju&c$L_|Pbe|u?J@H7Tbk!DX6Zir9inrR^6Qr+;U53!NQynl}Eas3VnR&6W-;EnS> zL$rbaesu^73H5DnGg(uTGd{W!Fs?;*nlyb6-f%u{S6ElKEneCYqV#El%IseWJCkM> zxUH;g_Qe@8vl}-B85j&dE^qzY4Ta-{Ckw~W=A?eQ+snOMUVs>;d66owT%i38Xpaf0 zH~OKp@V0tSG9HY&D$%F1qi4BVNV848d;!bWSJLzQxchxzK>4)ea-0eJjoH=qT{^Na z@L|uPVQO}Ew)=o-g&Ef9*;jJT(575d`c?vUEw5umh@c=QK= zb`iB!$|WqcR%ctPJBr|~F^zsJ=CZQBN1Ko-2{mu@=HuOEFjqlKz&~Z|8PxjMWRW8y zBSySg$0pxgLw^(ri^|A6jkZFOrPzaRmK+i0*9rJz&Lsv~mKiXA$|ic;b*W4*1K0?` z|E@^hPU}J-H+nJ0>I z8We!=Xu`Z|!GtgFx&C#9U>ic-fGj0LOC^s2TIXLNdvx~LhO9mEMZ;erKDh&WHUL0t z9OLk1Ap=$dY>~3@hqTdY=EKU;63|u!gB^A#wH2iBD_6ik3gv4B322xdZIyU`&vSZaD!Uv(>n&KY;6Y@FAZ>=f|#%s)WR>V)?^*%Q}&EI_g- z!VZfO4H51~6QlJMX9TvQOrDeiq+9_uHa4ZtIiZ~v#O$_zn#m8I)~(;Ydq*n&aRpB< zVFwYB#+SwU9*pDZtlz!I(-z5th$K7W<r6 znJ9+```E)`y{)pJTl?Dj{Hkx_&r3O~D;NQa`OWABU*E~iYEaFBBRdtVdhhHksZq1| zB)!v(U6@)e$&S%Fi&Iu;(-Xo7?jUY(>xby*&szL^TKY zX=M$&ocg`E{{a<*Wf-+3UfirwJMN^cb}Z1r|^;N@7Xr{r4guc^a$Jk4cqM zeP|Q@t4bvkMcoPOB<*p`!NZyI5diU!m-~Y=dUK|WKM=!=2<}v0i*=w_5@C7;QZrK9jFw|RR2 zFfM_IKO@R`qxfLz_;wugg%rQN=1;8AoP`(aSU)v(A3 zsA6I^+FZ&uN5!Zy0)A0sCb{xUdFr*I8-Fg663Z`Scg9BbkT|}+Z^mkQ$D{3XHy#LS zbX45^S@Ul%vi_i7|3a7(`aUW|On=lO`!&88pzGT6n+x4nG<%k56mnv-yIy?H0B0X7 zhPPLZu?zPQFKgk2Pe(r@-sZ5pQizM-f%!~EbHgwMWM#V?E69hu(@S3jG6PNCERBp; z^pdA8x4|GmcuQwJrf&F_n^As{x;AQ%^+&X@(yjaHt&^Qr-?M*>0&d%tEQh(8Qo#Y4 zpzZ9R;!(FmQcT{lS-}@jo2?UD!YhNply2IDs^aCe z4xM6YlUX6*LDDHel(GMwVpD5ts|>4Wm4Ex0Cphh&a!lUEw(i>&TC%t2@j5kJ=gp$2 zLxxZ7YYA^s%|+GY>O>VCKZc+i+6-66j~2N&%_+U|bLf%UogcWnERSz{XV4M?ShM2g z;UT4a9cAjKZNM9TgFtJ+j=atmv(|oee0sN6jUA9*{a(M{CZ`j|4vFA9}tFU-e5%in#5n$N6Wj(@SACV-X? z{hCkqjo5y5`Vg7BnzY491_m82?-G-q%xiLf*v$`soR`n$HS%x=h-gonPGE1~#*Rz` zPuORw@b_qsXWYJ(bXTO_iSdu~Exiz@!oaIl%$Pq{#sGvdB#PFC4mTH&{qD91JZTv| zqaHkV{TsM8@b90S-n*Vd#Fa~n6$hiog~Lwz=d)P2zuN-wfhC#KVhVmIt+;cAIgw+h z+B}FjA=B$Zdc%O~7=bW$F=FKMM9k=1e-gdE*%J9K`*+^vi(0QRdG&(zdrKOtd*VxO zGT%b*ph|QLmHFqSMnC${t0@3I^vJ zu$coFw1JCo_w%+444{K}HmfHg!-o>PXr!qHXwsrb>mBy7J9kXlX9oJ1iaLUml7a%} zgtD^1QfR*6uQ@|nw6M3(pzt>#__sf@!#7Y?Uzu~U@-M6Ns}3^M(&SBPz! ziidj`M#UdBV2r~ZR?y(nMMGU{oIvhBL~Fb7tX*X=yJN;}B(8(X$y!1hdC#}{@-%Jw=v& zP_a>3rJ%!y#XEkgzJh>5#;k6B&$D*<-An;o?nv=X|jxlWq6w)gTW8=9BABb1c%Ew?{@@ zrg*(6BP#?%Ts;#)xY&M0hSU)?#0GeYtWpsrBCU)$_!X&e6*CidxVU>T5Olo$kOZRH zh*E!$t^J2&zH)SZ&!yN0e=74Rg}(MVU2P4ehx+KIC9=HNAj3&BOA0s!1%QQ*)|wJO z`X6Gi2D{?e*HCDt9Y_=(oIk_6x|kA*GQfY(^wpA@s#hcDg*%X{n+p_WI|e_q|8R`u zN4r(*?hE#-rAH5w<2<^CG_0QlBo-lE3E`>eDN%mmsKko=teMMq@<7R|u0O2poUdQI zkXWsG5CtjV&y`#ta(jc~S$d5{W4s3tu71DAq{IDh_F`OQcQP9z-R>jqw-0vTv8SoX zuV)oXv1a;m+4oCOf z0l%YvJF3+NTs5Dm+rky7EbBzoByaFwxER;rI+LbA&LKeVsz1yKT-8!J+clLWu5hFI z>G9;*?Fzpwmc@Mpl4Xov79u8$l8*MfcZh%FzoiOzzB?fJBQEiypE3&efFP#l+lCM7 zDdK;OI(wNXrh+`ao|JO zuciwJucj1d%E2hIAObiU_x!Wfo&Put5GB%aW8{q2|U`b&5)JZop zGlSV&BsCxdUo|kkl47*Yo&DLXZBKH)H}T#9@oExm8kz*h<(+=BY0G6YSL3GK08K465Zv2?0$ z(l@@`d8`-PhwP`T4)(^j7iO|zMfSC}ny1&%G?!aTxj!Q!a59sBSsi0B!6VbTQ$OX! zpxtH|LMF+JIXYGHSc%!%q*BDIA{O`(g(*Xf&lkhJ~$8Y>&zjQP<9!w^RjX3I`p;lDq1#8+#P$yRj z51MAM^eD=grp;%}5kRh*mIBsIaiCD?+lMaMe_9MFTTrVnL-eq&F9ZB9ZyqNJdhA$X zv{*h<`NCRy8f54>n1aNG$GcZoSBqww5SS1mcHyqaC@2;=bfk~143K5gyqmok1%$ck z>)#fq$}t&ea!7~pBiRbBQN9p7r`9u{`mEz6MR&zs4yn%EdWMla z_k~yQZz3=K$nM)+*cV-LiFE|h27A(QvO4ECG&MyNMhf5}(08!nI?_84-LDLS#BPRT zqr9qqmG`T< z;mO~>b=@X<4Tn?>5&Z{Jh_zZZuA`_4#%*%-eQy3O)ze1B$G@UZ#yH7tq(sp0MtY3> zx|O%hY_Lj4!ZAA2J4&vLb?o?Id2FA|zEN$~RFbyQH~vE-^`|ScpCNw)IlSQ}FLN;P z$`gE}d7JUA#H+3=&2r~m1TWL|0-sY_bu@>B0Ot6{_X?@ri$*}8TR8k30y$5z{zs%h z!$gF+*-b?NTn4O3({hjs=fL&xLShLb8qbKw@R=GjrHwR=GB(VI8^+ady1w6xs$v8S z@9+gM$w}V<5nW)fi9zH80r-iDPf-IGhWDN??k$(&Q^Hp}^e_sU-*qsreE83`6*jLD zyvWkYVFCrNjg#%8xnIg*xh(2x8ECG&-ZYsk>h&bvt!HbCv(EGNTS!PmKL2R}j{QS6 zRIz$ua45d8d%~tBh`X-br$^MIb>oIVXDP{R^IIw8@hNaGoA|8g%&W`bEO^@3E18)L z6Q|JpvL+vNTxgh|FvIGB8ADw~Gvq}xH0K-Jf@N+Yu&BGcxvqk*5vp`lT9}qW$j`ev z_`8ei+EZV2q|ed1e|D^!^$;~D{vlQHx;~n#KLTqSnE$?PyZP#K2VI-^y#awyv}XYW zXrs`FLT~8_{l4cV;6g8u}bsfMAYq*iD34ZWRTnB)HUnl9w5r}v^TFOPC~ z#SW;v>?EuKU0}wF?7av`oMcEeDn3x=T?FF0VWzri|L&V(lgwfPM81!d zTVRZwlFFUp;J#@ug*Phlut_wkkB>tey!V$nSeXW6E8CgiI4O_`1 z2dE(^Km$OXt#Z2Zv0IKJ#3E&(5^Z$ijnEK19OH5U`w-HpmkRJVS6e*t+pd&YA+4J> zQ;Igy)ts0u9Gk4o_a0kqu>T!9gFmnTrG6oJVWgSlg`Z?d)GoP^-}TNR*}u??I0F+) z`UI3*#}o-<{7N5=$O}z@hQ>>$3_gT!0xlI07FWoOy?BuhU=@zSnGSi5^_INe%w$0 zY^}Wfkc6PkDZikOu$>Aah-TK6X<=4qLs`X|eE;KPNP6Sop1rp-%4*=-YOod}`;C6> zCdFueb1#-gsYO1pNZrqb?26T-TKFNGnvLnzHEvm+(%4pbNQgmK7`b?7I!^-;pjJ#i z=CfEA;AsOGi&&(p3-PI;xcIuPMJwsU?f+#>-5=`aTgS6C2c3Zg=Awg3OD4a8g|%v& zMj)_x2q29VdEWGU6(%&L%l%^B>M8uNxJ3@QBX}s{WG^^~h4o#Hdk&4CAl^Ooro!PO z#xvDjHY_RZYkh<+;-j$+*MqHHT+Rwgq%gZ~T+5IDbUlIR`d1xssoi$Sg%1cUD3wV_ zV$e@{R--;60$~Ij4`g-RsQ~u(92#TVQ^g*p(vZW-sEU? zj1c&VMGMFl=X>;WTs722pK7exLVM915DLBjt0x{F_JDUAUqWf&_`D<=1_Spmyw#qFg=)<2&;}rG=;EL*;wW#Q#WWP&H-l&L{z3# zBYm++*(>ZMN@{t`H6k>@G$h`>=7~h$rZVel{ca=5?xc^CRr;*^e*V_5<>54}`hl?# zvKA%dBy!ys?a*jqJX3r?MujRfVOELRjs*qXX^r|sKdcTUQouuK_|02%ce%Wy&Bs3* z-+bV&LLWAA0k$c3NR#s!J@2_wQYn(j6Ey~wr_v}VWEoPH+v1GbM+(dLQ<-EDVFf zPBR7xAuq7t4JBFrgz2(HEv8AQMr%%+3O6SGUT!KW09MRe;&aHNee#Ih#Eg737n$WDsBF0B>4xLRIPBho`y&Hpkje$8Ry z1S7O3mT22{CMtwz70wB;hZT(iDPe%`o#3{zrmuJUpwc1%W{JKRi`*TZB+8sf|5sMM zO_AREgVR&>_?DndQ?JPVF*HV2^~Lhyp^s#lxy4k+&rkf_2x`Wnxou&l?O^}oVub>H z9p`1YBULydKT z#rNLNe~tz0rFZe@J(2^JHYSi@t0|z)bSv=u*%z@SxpLw&16h$a{O6-Uim36!4Xlb^&V7IhT~DQx*_$d+_IK}{3Lke!7@wV z2`JI_!L5fnWS5y9L5$iQ)Fa}N1Ar3{XL_sw7cr`>@<0bLgQSF-YclM?yv@%UHuAc= z>)yR>o#^71*w-wBclyi*#7)QrQB$)(F)!2MsH8&=VKc?jFd>8i(arLGyk^QyZGORlzUGzAz%v zG?G3vL(J@+pDzz4D4qx+KXW8tFnLipcqDP!u~j7pwy!A|-AEJI;vy2EZlZ~D^qj1S z(IHL`Zhb*y5yN2cuv%k=ruoI}GA@&xDFk?nQUfP0rodX60YLw$!3*g{-wTXtD*&!;*&$UYs0X3g9Nf zR5VN~e0b^Kx1kxNOkx&HXRxRz3`1#UshOWtAP*>#yOdcf_;Fd@~WLU-fsf1tO&l zY;}A@lLblq9cEcNzsGt&#BV}BQG|A#p5XOM_MZSkH373hGX-sSEQDlMf?Nwj^XvO{LTJri+=tpAToPfK_(>i`=15?|SGqgy%iUWJA zL$ZN~TfcG8`(5n<_c#OMJH9!p>b^eM!N0G0mfS*$HsE#Hk-ODhX+ke| zf+_1QxF@)+q=NQn^7)D=8cAJyYZAoz!TaQ+CEw=(DSe-e46ZV#m{XFS=5 z#&T8|d&z2UeL%%Y8F~?Pv(9j_dXwipyI`J$&Qkw0RTfbNt_|Q7H`wv zY&n{!kSf<|`2Tx`;nPYL;Ul0Xz*6sgP@U`4^i&4iLS>85+_odmSCRKktg>BLkp zLejgeB-ajnmIF=_b)Iv4JHwA#Kg40?Xdmuii?0%Dtg4T|`xQ+qi3z@Bey5T4o*5v+ zz_0yKoD%4(?PW_kN7dWYgNtz+W@4?Grn;83&QaUl--qPb6xXc*$Ue&f;kHL)86#?> z18a}^`<^_L`l^Q(iDwfueJ~!PW*)Y=-DZqtd7hAbNY5AArj0?f_~OyaLN|Nv_m<9J zNv|dB&gvB5%-ai&;(R$%O`V&TC8tKOim|C6Vp*ZtMmo^`o2J|r!NbgZ_OJKr!Xh&= zq!oy~qxhN7d;^d$)(7I@I1ps{lIA0}1$dHXE$=N)?Oo{7j){ukf##Kz@Z%%X-buFh z5y6%_*!E&Pb!E@3H`P|u1w7KtR>-Tm5Cezc0?1`Gs*){WC%b!|y2lpfPbay?hOdH% zG$N++Q)+cpd@GK(lp~G(>*qh#Vc}?~HBGBAjsO{HX-PI{KzDk6Ty?!LQjzl9aq9EJ1{-{bh) z=TosNLW41mvFcGdb4couFb)o_@Etp~xA=Zw)xGXZur!4+O`v;{#3R;Eg6zM=y!@qO z9$u0)PDhGTGcXCR$<{Ta{8Hd4yAwjCbI0+chie$k?(-Z2*a3 zhrw_4UWMW3;kgHou)#X_(Wh%GE82^&d*P1ru;NL-^sQs5lSP>j+?JnLzOYP3YX(cinYvM$@xc^6iq-%~FA!iF!81YZM# zlfw_BRD(M$>LA=n4k^Ww{s}zLgflq80AARP$F8(Kon%*~Fnb&vSmd}BW^H4wszci4 zSA%udwKV{biB2nQtp}E$HXsW3)6iRpwJA%#$+B!*8u2%oikpNvS@q0sBCuPB&xfLu zpD;d@sC+{1m+2oXSfsGp{^XAD!7FgR4JJ5=I_Ho0#<5_s<{6~e#kOZzW*IAcUp{34 zBX}3OXO4NaTqcq%7m$YQW1O5S|fUoB5B1OYC3^eZ8N}p;<}loPW_n5azWI zi1u(~d=$P19hfNcg=Y-9v$@daW!Jf)4MQm61*uGO%I6I2>hC_sGgEJ9{AKm(97q;s zl#m$uVWw05**5ku;x>%&c9H{M>$JtzZy*w!sCTrE)OBqZ>X}2tqXc#xU072BuLKfT z&$$dBf5XuV47(gh*+`VDx(GD?HJ4DzhLAS~{9DZVuraiJVM&mDP;BF{1-M$J;lhgh zBx9^s_Ef<)LP|PfVm|W@zt6K#g!3v zt2p?kmLxOtsSm2RrSpsidE85vS)7a5J1t!}PG@b`7ltkN*4e1XKoj!;sw)(6ZZJ!d=( zK8DCz{Od(|=SE2XQ^YMN@sm%(3stOU?!B`UrV>Jk&;Pv5AM|)WgxnHx_r~geI(P6> z0*iWY@cJd)+xw~1|E3e+=fITvv>+u8$L)vNs<#8|vUlngS-)0q&2K*~1+MP#1h%zG zJ^B@ME5tD^s7q`P?TK~)Ey1sIXQ(TY|DoMna)2tI{=4.18.2.0 , containers , HUnit ^>=1.6 - , lambda-chi-brackets + , recording , ordered-containers hs-source-dirs: tests