4 ms·
Re: visualizations of lambda terms, also see "To Dissect a Mockingbird" https://dkeenan.com/Lambda/ https://dkeenan.com/Lambda/
by pcfwik 1y ago
Re: visualizations of lambda terms, also see "To Dissect a Mockingbird" https://dkeenan.com/Lambda/ https://dkeenan.com/Lambda/
- bntr 1y agoThe most complete catalog I've found: https://github.com/prathyvsh/lambda-calculus-visualizations https://github.com/prathyvsh/lambda-calculus-visualizations