Public
Edited
Dec 26, 2023
md`
## Let's visualize stuff!
* Spending several hours on [Hai (Paul) Liu’s step-by-step Lambda Viewer](https://projectultimatum.org/cgi-bin/lambda)...
* I think our first goal to understand how just beta-reduce a binary tree, that contains 3 types of nodes:
+ \`Lam Variable Term\`
+ \`App Term Term\`
+ \`Variable = Var String \`
* And... what is ${tex`\beta`}-reduction?
## Let's don't visualise stuff!!?...
List of all possible reductions:
* alpha-equivalence
+ ...
* beta-reduction
+ something about proper replacing of variables, substitution one term into another.
* eta-reduction
+ ...
`
testIsRightBrackets()
Purpose-built for displays of data
Observable is your go-to platform for exploring data and creating expressive data visualizations. Use reactive JavaScript notebooks for prototyping and a collaborative canvas for visual data exploration and dashboard creation.
