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()
One platform to build and deploy the best data apps
Experiment and prototype by building visualizations in live JavaScript notebooks. Collaborate with your team and decide which concepts to build out.
Use Observable Framework to build data apps locally. Use data loaders to build in any language or library, including Python, SQL, and R.
Seamlessly deploy to Observable. Test before you ship, use automatic deploy-on-commit, and ensure your projects are always up-to-date.