I did sink into it for a bit, playing with a matrix of 9 different schemes. However instead of Forth I’d implement Leroy’s ZINC model and implement a simple RP

I did sink into it for a bit, playing with a matrix of 9 different schemes. However instead of Forth I’d implement Leroy’s ZINC model and implement a simple RPN version of the lambda calculus.