> Tree calculus is minimal, Turing-complete, reflective, modular
Ok. But what is it?
A lambda calculus variant Quite niche, so people who read about it know what a calculus is
A lambda calculus variant Quite niche, so people who read about it know what a calculus is