ViewTube

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

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

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

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

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

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)) ...

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 ...

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

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 ...

Lambda calculus application Helpful? Please support me on Patreon: https://www.patreon.com/roelvandepaar With thanks ...

3 Lambda Calculus Syntax.

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

Parigot encoding of integers and lists. Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html).

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

Hey there, welcome back to our channel where we explore the latest advancements in technology. Today, we're going to take a ...

real shit.