https://ocw.cs.pub.ro/ppcarte/ 2026-05-05T14:07:06+03:00 https://ocw.cs.pub.ro/ppcarte/ https://ocw.cs.pub.ro/ppcarte/lib/tpl/bootstrap3/images/favicon.ico text/html 2025-05-05T01:05:26+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2025:haskell:tema3&rev=1746396326&do=diff Lambda Calculus Interpreter Deadline: * Temele trebuie submise pe curs.upb.ro, în assignment-ul Tema 3. * Pentru întrebări folosiți forum-ul dedicat de pe curs.upb.ro. În cadrul acestei teme va trebui să realizezi un interpretor de expresii lambda în Haskell. $( \lambda x.e_1 \ e_2 $$\beta$$\beta$$(\lambda x.\lambda y.(x \ y) \ \lambda x.y)$$\lambda y.(\lambda x.y \ y)$$ y$$\lambda x.y$$\lambda y.$$\lambda a.(\lambda x.y \ a)$$\beta$$ TRUE $$\lambda x.FALSE $$ \lambda x.(NOT \ \lambda y.AN…