Made this last year, inspired by @jart's SectorLambda[0] implementation of @tromp's Binary Lambda Calculus[1]. Since then I had an idea of how to translate the language into a 5-instruction "linear" (as opposed to tree-structured) machine code which can be nicely visualized. Finally implemented this idea, resulting in a minimal IDE/debugger. Just published a working version of that[0].<p>Pretty fun stuff. :D<p>[0] <a href="https://justine.lol/lambda/" rel="nofollow noreferrer">https://justine.lol/lambda/</a><p>[1] <a href="https://tromp.github.io/cl/Binary_lambda_calculus.html" rel="nofollow noreferrer">https://tromp.github.io/cl/Binary_lambda_calculus.html</a><p>[2] <a href="https://xtao.org/blog/nukleus.html" rel="nofollow noreferrer">https://xtao.org/blog/nukleus.html</a>
For any lurkers out there, I just created/published the next, even more extreme iteration of this called λDNA: <a href="https://xtao.org/blog/ldna.html" rel="nofollow noreferrer">https://xtao.org/blog/ldna.html</a><p>Enjoy.