Loading...
Lambda Calculus Interpreter + Diagram Visualization
Save Copy
Desmos Logo
Log In
Sign Up
Run
Tick Action: "R" Subscript, "e" "d" , Baseline
R
e
d
every
0
0
Min Step Time:
ms
Useful terms
Useful terms
Hide this folder from students.
14
Expression 27:
27
Expression 28:
28
Term Manipulation Functions
Term Manipulation Functions
Hide this folder from students.
29
Term Beta Reduction
Term Beta Reduction
Hide this folder from students.
39
Actions
Actions
Hide this folder from students.
46
Display as String
Display as String
Hide this folder from students.
48
Display as Diagram
Display as Diagram
Hide this folder from students.
72
77
powered by
powered by
lambda
λ
lambda
λ
lambda
λ
lambda
λ
lambda
λ
lambda
λ
lambda
λ
lambda
λ
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
"a"
a
"a"
a
"a"
a
"a"
a
"a"
a
"a"
a
"a"
a
"a"
a
"a"
a
"b"
b
"b"
b
"b"
b
"b"
b
"b"
b
"b"
b
"c"
c
"c"
c
"c"
c
"d"
d
"d"
d
"x"
x
"y"
y
"a" squared
a
2
"a" Superscript, "b" , Baseline
a
b
7
7
8
8
9
9
over
÷
functions
(
(
)
)
less than
<
greater than
>
4
4
5
5
6
6
times
×
| "a" |
|
a
|
,
,
less than or equal to
≤
greater than or equal to
≥
1
1
2
2
3
3
negative
−
A B C
StartRoot, , EndRoot
pi
π
0
0
.
.
equals
=
positive
+
Log In
or
Sign Up
to save your graphs!
New Blank Graph
Examples
Lines: Slope Intercept Form
example
Lines: Point Slope Form
example
Lines: Two Point Form
example
Parabolas: Standard Form
example
Parabolas: Vertex Form
example
Parabolas: Standard Form + Tangent
example
Trigonometry: Period and Amplitude
example
Trigonometry: Phase
example
Trigonometry: Wave Interference
example
Trigonometry: Unit Circle
example
Conic Sections: Circle
example
Conic Sections: Parabola and Focus
example
Conic Sections: Ellipse with Foci
example
Conic Sections: Hyperbola
example
Polar: Rose
example
Polar: Logarithmic Spiral
example
Polar: Limacon
example
Polar: Conic Sections
example
Parametric: Introduction
example
Parametric: Cycloid
example
Transformations: Translating a Function
example
Transformations: Scaling a Function
example
Transformations: Inverse of a Function
example
Statistics: Linear Regression
example
Statistics: Anscombe's Quartet
example
Statistics: 4th Order Polynomial
example
Lists: Family of sin Curves
example
Lists: Curve Stitching
example
Lists: Plotting a List of Points
example
Calculus: Derivatives
example
Calculus: Secant Line
example
Calculus: Tangent Line
example
Calculus: Taylor Expansion of sin(x)
example
Calculus: Integrals
example
Calculus: Integral with adjustable bounds
example
Calculus: Fundamental Theorem of Calculus
example
Terms of Service
|
Privacy Policy
