ViewTube

Functions are an extremely useful part of programming, but it turns out that they're all you need to calculate anything. No data ...

This animation visualizes the evaluation of the Y combinator in lambda calculus. Yellow and red arrows denote functions and ...

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...

Haskell is a purely functional programming language based on lambda calculus. It uses immutable values and expressions to ...

An overview of how to use the Lambda Calculus Playground Android app. Download the app on the Play Store: ...

In lambda calculus, you need recursion to do looping, and this is done using the Y Combinator formula. Lambda Calculus Video: ...

This uses an iterative factorial algorithm I wrote: (λn.λf.n (λd.λa.λb.λy.b (d (λu.u) b (d (d (λu.u) a) (λu.u) y))) (λa.λb.λy.a (b y)) f (λu.u)) ...

OmegaOS is a homebrew OSDev project that boots to an untyped lambda calculus interpreter prompt based on John Tromp's ...

Hello! This is my DHS Stembassador application video. Hope it was informative!

This animation visualizes an evaluation of Church numerals in lambda calculus. Yellow and red arrows denote functions and ...

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...

What is lambda calculus? In this short video, we break down this important concept in mathematics and computer science.

Adds let expressions (or let bindings, or let-in expressions) to our lambda calculus, and comparing them to function abstraction.

This course offers an introductory overview of lambda calculus, which serves as the basis for various functional programming ...

Reducing Lambda Expressions: A Step-by-Step Guide Understanding lambda calculus can be intricate, but it's integral to the ...

This video is part of an online course, Design of Computer Programs. Check out the course here: ...

This is a screen recording of a visualization of a lambda calculus computation done in chemlambda. The algorithm used is a ...

agh! why did i enable smoothing!! another explaining thingy i made, may want to reduce the video speed for this since i made it ...