Cool! I read Shutt's thesis on Kernel years ago, but I didn't know there was an implementation available yet. Vau interpreters can actually be simpler than lam

Cool! I read Shutt's thesis on Kernel years ago, but I didn't know there was an implementation available yet. Vau interpreters can actually be simpler than lambda interpreters, and make a great playground for language design. I wrote a blog post back in 2012 about converting a simple Python Lisp interpreter into a vau interpreter (http://gliese1337.blogspot.com/2012/04/schrodingers-equation-of-software.html http://gliese1337.blogspot.com/2012/04/schrodingers-equation...), and that eventually grew into an undergraduate capstone paper on designing the denotational semantics of and implementing another vau-based language called Vernal (https://github.com/gliese1337/CS598R https://github.com/gliese1337/CS598R). I don't expect any of these will ever become mainstream industry languages, but they have a theoretical elegance and simplicity that makes them fun to play with for the theoretically-minded.