# \#lambda-calc

**URL:** https://forum.snap.berkeley.edu/tag/lambda-calc/727.md

[Latest](https://forum.snap.berkeley.edu/latest.md) · [Categories](https://forum.snap.berkeley.edu/categories.md) · [Tags](https://forum.snap.berkeley.edu/tags.md)

---

## [Lambda calculus (WIP)](https://forum.snap.berkeley.edu/t/lambda-calculus-wip/22278)

<div class="topic-metadata">

**Author:** [@angzarr\_812new](https://forum.snap.berkeley.edu/u/angzarr_812new)\
**Replies:** 3\
**Last updated:** [August 1, 2026, 9:32pm UTC](https://forum.snap.berkeley.edu/t/lambda-calculus-wip/22278 "2026-08-01T21:32:00Z")

</div>

Only supports reducing applying a function to a variable.

---

## [Lambda Calc, Peano Axioms, & Recreating Maths](https://forum.snap.berkeley.edu/t/lambda-calc-peano-axioms-recreating-maths/15650)

<div class="topic-metadata">

**Author:** [@bluebaritone21](https://forum.snap.berkeley.edu/u/bluebaritone21)\
**Replies:** 66\
**Last updated:** [April 8, 2024, 7:02pm UTC](https://forum.snap.berkeley.edu/t/lambda-calc-peano-axioms-recreating-maths/15650 "2024-04-08T19:02:19Z")

</div>

I tried to make all math from just 3 functions! Here is the script: (The "primitive" functions are S(x), S⁻¹(x), and aₙ.) For lambda calc: Open in a new tab

---

## [Lambda Calculus in Snap!](https://forum.snap.berkeley.edu/t/lambda-calculus-in-snap/15880)

<div class="topic-metadata">

**Author:** [@mauro.sanmiguel573](https://forum.snap.berkeley.edu/u/mauro.sanmiguel573)\
**Replies:** 15\
**Last updated:** [February 13, 2024, 2:00pm UTC](https://forum.snap.berkeley.edu/t/lambda-calculus-in-snap/15880 "2024-02-13T14:00:34Z")

</div>

I have ideas for lambda calculus blocks. These blocks are: λ(v,term) variable alpha(v,v name) beta(v,term) apply(term,term) It's just an idea, so I never coded these blocks.