I love how you explain about Beta-reduction very clear. Thank you so much. By the way I love Haskell. So I subscribed this channel and I hope I can learn more about Haskell through this channel. 🙏

Thank your very good course.

Thanks for this, explains it very well

Incredible tutorial.

This video is great! Appreciate it a lot

Great video !

Cristal clear introduction to Lambda Calculus

Nice video

Thanks for the video... Although the use of parenthesis helps to clarify things, it confuses me a little since there are no rule BNF rule for use of parenthesis in 6:24

Haskell doesn't reduce to normal form, it reduces to weak head normal firm

Very well explained, thank you

The content was well done, but I have some feedback on how the video was edited. I may be more photosensitive than the average person, but around 3:35, and for most of the rest of the video, when you were highlighting stuff the end effect of how you did it was to flash almost the entire screen several times per minute from light to dark and back. Some of the latter transitions started doing a fade, which helped, but the rapid flashing of the whole screen like that made the video hard to watch.

TIL the creator of lambda calculus died in a town 30 minutes from me

Your eta reduction is incorrect. The 1 would be the second argument

wannazhina！

我s

se x

Free means that a variable in the body has none in the head, not what you're trying to say here.

bibilbilbilbilblibilbilbliblibilblibliblibli