chjara, messing around with small combinatory logic (like SKI calculus) evaluators and actually it could probably be possible to make a very small processor core that does it, all you need is a garbage collected memory of reference pairs and a stack and some trivial manipulation of them
like an even more abstract LISP machine
Add comment