Visual Lambda: Aprende cálculo lambda de forma gráfica
Visual Lambda es una herramienta gráfica y de programación visual diseñada para explorar el cálculo lambda no tipado utilizando la notación Bubble. Originalmente desarrollada como una tesis doctoral en 2008 y posteriormente migrada a GitHub, esta herramienta ofrece una forma intuitiva de comprender
